Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-18 11:02:14 -0700 (Fri, 18 Jun 2004)
Revision: 5939
Log message:

      Re-use the HTTP socket on a restart.  The socket descriptor
      and challenge are saved in the environment.  So this means
      it won't work on Windows, where sockets do not have integer
      descriptors.  Have to think about how to do that, or else
      just disable the feature on Windows.
      

Changes  Path
+7 -0 metaprl/mllib/env_arg.ml
+4 -0 metaprl/mllib/env_arg.mli
+23 -5 metaprl/mllib/http_simple.ml
+2 -1 metaprl/mllib/http_simple.mli
+1 -1 metaprl/support/shell/inputs/reload.html
+8 -4 metaprl/support/shell/inputs/start.html
+96 -70 metaprl/support/shell/shell_browser.ml
+7 -3 metaprl/support/shell/shell_state.ml
+6 -2 metaprl/support/shell/shell_state.mli