Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-05-27 19:00:18 -0700 (Thu, 27 May 2004)
Revision: 5820
Log message:

      This is the browser update I've been putting off.
         1. Browser now support both Mozilla *and* IE.
            I haven't tested on others like Safari.
            To get this to work, I had to use iframes
            and code custom menus.  Bleh.
         2. Connections are now SSL.  That is, you need to
            use https: connections instead of http:
         3. File editing is partially supported.  By default
            you edit in the browser.  However, you can define
            the application/x-metaprl MIME type to invoke
            an external editor.
      
            This is the main reason for using SSL.  At some
            point, we should do a code review to make sure
            we believe the security model
            (MD5 challenge/response).
      
      TODO:
         1. Currently, edited files are not saved.  This is
            just a precaution for the moment.
         2. Need to add make/restart commands.  Easy, just
            haven't done it yet.
      
      NOTE: I haven't checked that win32 compiles.  Working on that
      next.
      

Changes  Path
+1 -1 metaprl/Makefile
+6 -3 metaprl/OMakefile
Properties metaprl/editor/ml
+68 -50 metaprl/editor/ml/mpconfig
+12 -11 metaprl/filter/base/filter_cache_fun.ml
+1 -0 metaprl/mk/defaults
+5 -0 metaprl/mk/make_config.sh
+10 -4 metaprl/mllib/http_server_type.ml
+315 -61 metaprl/mllib/http_simple.ml
+10 -6 metaprl/mllib/http_simple.mli
Properties metaprl/proxyedit
Added metaprl/proxyedit/OMakefile
Properties metaprl/proxyedit/OMakefile
Added metaprl/proxyedit/proxyedit_lex.mli
Properties metaprl/proxyedit/proxyedit_lex.mli
Added metaprl/proxyedit/proxyedit_lex.mll
Properties metaprl/proxyedit/proxyedit_lex.mll
Added metaprl/proxyedit/proxyedit_main.ml
Properties metaprl/proxyedit/proxyedit_main.ml
Added metaprl/proxyedit/proxyedit_main.mli
Properties metaprl/proxyedit/proxyedit_main.mli
+0 -19 metaprl/support/shell/Files
+4 -7 metaprl/support/shell/OMakefile
+11 -0 metaprl/support/shell/browser_copy.mli
+119 -25 metaprl/support/shell/browser_copy.mll
+83 -23 metaprl/support/shell/browser_resource.ml
+2 -0 metaprl/support/shell/browser_resource.mli
+1 -0 metaprl/support/shell/browser_sig.mlz
+87 -6 metaprl/support/shell/browser_state.ml
+2 -0 metaprl/support/shell/browser_state.mli
Properties metaprl/support/shell/inputs
Added metaprl/support/shell/inputs/Files
Properties metaprl/support/shell/inputs/Files
Added metaprl/support/shell/inputs/OMakefile
Properties metaprl/support/shell/inputs/OMakefile
+2 -0 metaprl/support/shell/inputs/access.html
+1 -1 metaprl/support/shell/inputs/body.html
+9 -6 metaprl/support/shell/inputs/buttons.html
Added metaprl/support/shell/inputs/buttons.js
Properties metaprl/support/shell/inputs/buttons.js
+4 -3 metaprl/support/shell/inputs/content.html
+46 -24 metaprl/support/shell/inputs/content.js
Added metaprl/support/shell/inputs/edit-help.html
Properties metaprl/support/shell/inputs/edit-help.html
Added metaprl/support/shell/inputs/edit.html
Properties metaprl/support/shell/inputs/edit.html
Added metaprl/support/shell/inputs/edit.js
Properties metaprl/support/shell/inputs/edit.js
Added metaprl/support/shell/inputs/empty.html
Properties metaprl/support/shell/inputs/empty.html
+16 -7 metaprl/support/shell/inputs/frameset.html
Added metaprl/support/shell/inputs/frameset.js
Properties metaprl/support/shell/inputs/frameset.js
Added metaprl/support/shell/inputs/keygen
Properties metaprl/support/shell/inputs/keygen
+100 -81 metaprl/support/shell/inputs/layout.js
+4 -4 metaprl/support/shell/inputs/login.html
+5 -3 metaprl/support/shell/inputs/menu.html
Added metaprl/support/shell/inputs/menu.js
Properties metaprl/support/shell/inputs/menu.js
Binary metaprl/support/shell/inputs/menubutton.gif
Properties metaprl/support/shell/inputs/menubutton.gif
Added metaprl/support/shell/inputs/menucancel.js
Properties metaprl/support/shell/inputs/menucancel.js
Added metaprl/support/shell/inputs/menuclient.js
Properties metaprl/support/shell/inputs/menuclient.js
Added metaprl/support/shell/inputs/menuserver.js
Properties metaprl/support/shell/inputs/menuserver.js
+3 -2 metaprl/support/shell/inputs/message.html
Added metaprl/support/shell/inputs/message.js
Properties metaprl/support/shell/inputs/message.js
Added metaprl/support/shell/inputs/metaprl-ssl.config
Properties metaprl/support/shell/inputs/metaprl-ssl.config
Added metaprl/support/shell/inputs/mojave.js
Properties metaprl/support/shell/inputs/mojave.js
Added metaprl/support/shell/inputs/noscroll.css
Properties metaprl/support/shell/inputs/noscroll.css
+4 -8 metaprl/support/shell/inputs/rule.html
+10 -0 metaprl/support/shell/inputs/rule.js
+3 -3 metaprl/support/shell/inputs/start.html
+154 -11 metaprl/support/shell/inputs/style.css
+1 -1 metaprl/support/shell/inputs/validate.js
+27 -4 metaprl/support/shell/shell.ml
+156 -11 metaprl/support/shell/shell_browser.ml
+2 -1 metaprl/support/shell/shell_package.ml
+1 -0 metaprl/support/shell/shell_sig.mlz
+8 -2 metaprl/support/shell/shell_util.ml
+1 -0 metaprl/support/shell/shell_util.mli