Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-14 21:15:10 -0800 (Mon, 14 Mar 2005)
Revision: 6926
Log message:

      Do not try to read/write the MetaPRL history file when the -batch flag is
      used.
      

Changes	Path
+11 -9	metaprl/support/shell/shell_state.ml