Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-05-30 12:12:31 -0700 (Sun, 30 May 2004)
Revision: 5833
Log message:

      Added some additional functions.  Status: tested with and without SSL on
      RH9; not tested on mojave clients; mostly tested on win32.  I'll check
      the others after this commit.  Tested against Mozilla and IE.  It should
      be clean, but let me know if you see problems!
      
      Added the following functions to the toploop:
         !ls: int                -- filesystem directory listing
         !cd: string -> int      -- change directory
         !pwd: string            -- print working directory
         !mkdir: string -> int   -- create a new directory
         !rm: string -> int      -- remove a file
         !edit: string -> int    -- edit a file
         !omake: int             -- rebuild the system
         !restart: int           -- restart MetaPRL
         !cvs: string -> int     -- CVS operations
      Note that the syntax of these "syscall" commands uses dereferencing.
      
      These functions work with the terminal and browser interfaces
      (with slightly different behavior).
      

Changes  Path
+58 -44 metaprl/mllib/http_simple.ml
+25 -11 metaprl/mllib/http_simple.mli
+11 -1 metaprl/proxyedit/proxyedit_main.ml
+2 -0 metaprl/support/shell/Files
+6 -5 metaprl/support/shell/browser_copy.mli
+150 -30 metaprl/support/shell/browser_copy.mll
+4 -5 metaprl/support/shell/browser_sig.mlz
+41 -1 metaprl/support/shell/browser_state.ml
+6 -0 metaprl/support/shell/browser_state.mli
Added metaprl/support/shell/browser_syscall.ml
Properties metaprl/support/shell/browser_syscall.ml
Added metaprl/support/shell/browser_syscall.mli
Properties metaprl/support/shell/browser_syscall.mli
+5 -1 metaprl/support/shell/inputs/Files
+9 -0 metaprl/support/shell/inputs/layout.js
Added metaprl/support/shell/inputs/output.html
Properties metaprl/support/shell/inputs/output.html
Added metaprl/support/shell/inputs/reload.html
Properties metaprl/support/shell/inputs/reload.html
+26 -0 metaprl/support/shell/inputs/style.css
Added metaprl/support/shell/inputs/system.html
Properties metaprl/support/shell/inputs/system.html
Added metaprl/support/shell/inputs/system.js
Properties metaprl/support/shell/inputs/system.js
+5 -1 metaprl/support/shell/mptop.ml
+2 -1 metaprl/support/shell/shell.ml
+158 -17 metaprl/support/shell/shell_browser.ml
Added metaprl/support/shell/shell_syscall.ml
Properties metaprl/support/shell/shell_syscall.ml
Added metaprl/support/shell/shell_syscall.mli
Properties metaprl/support/shell/shell_syscall.mli
Added metaprl/support/shell/shell_syscall_sig.mlz
Properties metaprl/support/shell/shell_syscall_sig.mlz