projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c226f6e) | patch
Clarify how termination treats file descriptors.
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 5 Apr 2006 19:43:13 +0000 (19:43 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 5 Apr 2006 19:43:13 +0000 (19:43 +0000)
commit24116bb51c88e33ca0274bdd01abb7f03ec90fb7
tree16cd635124a6ee70d8e4abcf3a7fcae8b6b06312tree | snapshot
parentc226f6e2ff058108a24b6879489bcdc930681a82commit | diff
Clarify how termination treats file descriptors.
Thanks to Nathan Marz <nathanm@stanford.edu> for the question.
doc/userprog.texi diff | blob | history
Pintos public repository