projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1589eb) | 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)
commit94e3568f3303b757f9e4133524b647163792662d
tree29655421e02c02052208dafbaa6ff2a305f97695tree | snapshot
parentc1589ebc0b6ea34d608af61bad80979abbaeb9fccommit | 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