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)
commit8008245440011d25307535c3bb6757eb72ae5abe
treed9b70bc16d0c0e5f4a1173b52a34554ec0f80259
parentf76b6130c127c5ff3cbb1dc15afbc68a2518edb7
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