Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-17 12:16:29 -0700 (Thu, 17 Jun 2004)
Revision: 5919
Log message:
Fixed the refresh problem. The issue with refresh was that it was lazy:
don't do a remount unless the directory has changed. Added a force_flag
to the chdir function.