Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-02-02 18:00:29 -0800 (Mon, 02 Feb 2004)
Revision: 5334
Log message:

      When chdir fails, make the best effort to put things back where they were.
      This fixes bug 143, as well as a number of less obvious issues.
      

Changes	Path
+17 -12	metaprl/support/shell/shell.ml