Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-19 16:15:07 -0700 (Sat, 19 Jun 2004)
Revision: 5953
Log message:

      If refresh fails (the module or directory might no longer exist), try falling
      back to empty relative dir and if that does not work, fall back to DirRoot.
      

Changes	Path
+9 -2	metaprl/support/shell/shell_core.ml