projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99fba45) | 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)
commit68d3a93433f506864f6c6cec8af0f5f4538a4a40
tree61c2c3b3dd548957f951c0f113515e34dc5e60e9tree | snapshot
parent99fba45ab829c0be9ac79e344f00fb7c1700d5f9commit | 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