Fix handling of timeouts.
authorBen Pfaff <blp@cs.stanford.edu>
Mon, 20 Jun 2005 21:26:49 +0000 (21:26 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Mon, 20 Jun 2005 21:26:49 +0000 (21:26 +0000)
commit8640e3ca9b341ac3ce3260cc863f2bc8e39fff8d
tree813c64c267e1a4fe13dfa19e10cf6dc3b2dfe7e9
parent8dcf80daf6a7c0186b6622ea3baff7db4c366527
Fix handling of timeouts.
src/utils/pintos