Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-16 11:56:29 -0700 (Wed, 16 Jun 2004)
Revision: 5908
Log message:

      This should fix the refresh problem.
      Tracked down a bug in restart that was jumping to the previous location
      (ouch, these are hard to find).
      

Changes	Path
+2 -0	metaprl/mllib/http_simple.ml
+1 -1	metaprl/support/shell/browser_syscall.ml
+1 -0	metaprl/support/shell/inputs/Files
+13 -14	metaprl/support/shell/inputs/login.html
Added	metaprl/support/shell/inputs/login.js
Properties	metaprl/support/shell/inputs/login.js
+1 -2	metaprl/support/shell/shell.ml
+9 -4	metaprl/support/shell/shell_browser.ml
+5 -3	metaprl/support/shell/shell_core.ml
+0 -1	metaprl/support/shell/shell_current.ml