projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b971366) | patch
pintos: Make sure to print buffered data at end of input.
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 7 Jan 2010 17:26:11 +0000 (09:26 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 26 Jan 2010 17:13:02 +0000 (09:13 -0800)
commit2026ecceb129b851bd4f1573f7627a50d51e89b5
tree531964318324ad9ebe4683259d47f5b2ea8e33e6tree | snapshot
parentb9713669e0613652b1ff53601345decf5584ab23commit | diff
pintos: Make sure to print buffered data at end of input.

Here, $buf might have some data in it that has not yet been printed, but
we were discarding it (and trying to read more) without printing it.

(In Perl, "do" ensures that the inner block runs at least once; without
"do" the condition is evaluated first.)
src/utils/pintos diff | blob | history
Pintos public repository