projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 00e81df) | patch
Don't read anything from the disk for a segment with p_filesz == 0.
authorBen Pfaff <blp@cs.stanford.edu>
Sat, 8 Apr 2006 18:34:47 +0000 (18:34 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Sat, 8 Apr 2006 18:34:47 +0000 (18:34 +0000)
commit79d43675f4fd36237529d676e3c7c231b308dc7f
tree5d23f6a6578b060ef39a8e26ef1bdd5bc40699e8tree | snapshot
parent00e81dfef8be008dfa97fdcbcf0dd028958351b1commit | diff
Don't read anything from the disk for a segment with p_filesz == 0.
Thanks to Godmar Back for reporting this bug.
src/userprog/process.c diff | blob | history
Pintos public repository