X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Futils%2Fpintos;h=348c6abf3a7882e8b1e600c6e2cf2043c5108a6f;hb=bd4a59fe77f08752a08ef748e739428a59869657;hp=8721db313042bb35438dd1cf20856aa0f816c7e2;hpb=bed7964bf37ffe1b9c418688544d9ac467edce7e;p=pintos-anon

diff --git a/src/utils/pintos b/src/utils/pintos
index 8721db3..348c6ab 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -682,10 +682,12 @@ sub relay_signal {
 # Interrupts $pid and dies with a timeout error message.
 sub timeout {
     my ($pid) = @_;
-    relay_signal ($pid, "INT");
+    kill "INT", $pid;
+    waitpid ($pid, 0);
+    seek (STDOUT, 0, 2);
     my ($load_avg) = `uptime` =~ /(load average:.*)$/i;
-    print "TIMEOUT after $timeout seconds";
+    print "\nTIMEOUT after $timeout seconds";
     print  " - $load_avg" if defined $load_avg;
     print "\n";
-    exit (2);
+    exit 0;
 }