From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 4 Jan 2005 07:38:14 +0000 (+0000)
Subject: Fix multiple-output to stdout bug.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6e37e2d09df0c11d77e0516cbc03c850eb72b8da;hp=6e37e2d09df0c11d77e0516cbc03c850eb72b8da;p=pintos-anon

Fix multiple-output to stdout bug.
---