Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-12 00:57:30 -0700 (Thu, 12 May 2005)
Revision: 7264
Log message:

      ToploopIgnoreError/ToploopIgnoreExn should not cause the http server to die.
      

Changes  Path
+34 -28 metaprl/support/shell/shell_browser.ml