When reading files out of the scratch disk, don't die with an error
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 8 Dec 2006 15:39:32 +0000 (15:39 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 8 Dec 2006 15:39:32 +0000 (15:39 +0000)
commit61baa0fd8ef0289a446e80e69aa3f59e3f6c7013
tree949d2c763575a8470b3e18fa04570516f19a2d04
parentecc50c27935557e705a7fd4590073f9dcfae0b17
When reading files out of the scratch disk, don't die with an error
exit code if there's a bad signature, because that's a guest error not
a host error.  (If we do exit with an error code, it fouls up the
grading process.)  Instead, just make sure that the host file(s) we
were supposed to retrieve is unlinked.
src/utils/pintos