projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b8b8e75) | patch
When using -k, make sure to flush all of the subprocess's output to
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 30 May 2006 20:18:24 +0000 (20:18 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 30 May 2006 20:18:24 +0000 (20:18 +0000)
commit02e41fa61ec13cf2c59c9632bb67dcc2168c2c01
tree9ac0440caaef8ddc8fdff90a36e6f4717a76bcf6tree | snapshot
parentb8b8e75e8fa4cd398f0589c6ffa31b12ec87e977commit | diff
When using -k, make sure to flush all of the subprocess's output to
stdout, even after the subprocess has died.
src/utils/pintos diff | blob | history
Pintos public repository