When a Pintos run times out, report the load average.
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 14 Jan 2005 08:23:43 +0000 (08:23 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 14 Jan 2005 08:23:43 +0000 (08:23 +0000)
commit4742fa3312bdc0d43cd8a11775c7605a9f57eb5a
treec8a01080ede9633e2dc80ddafb0933e984fae3fb
parentab407568bb7d7e8bef6abc0020619b7237853f50
When a Pintos run times out, report the load average.
grading/lib/Pintos/Grading.pm