projects
/
pintos-anon
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from:
8008245
)
When reading files out of the scratch disk, don't die with an error
author
Ben Pfaff
<blp@cs.stanford.edu>
Fri, 8 Dec 2006 15:39:32 +0000
(15:39 +0000)
committer
Ben Pfaff
<blp@cs.stanford.edu>
Fri, 8 Dec 2006 15:39:32 +0000
(15:39 +0000)
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.
No differences found