From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 8 Dec 2006 15:39:32 +0000 (+0000)
Subject: When reading files out of the scratch disk, don't die with an error
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=inline;h=8008245440011d25307535c3bb6757eb72ae5abe;hp=8008245440011d25307535c3bb6757eb72ae5abe;p=pintos-anon

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.
---