From a6743379d7959d012eb6db2ececc01ece70642d7 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 12 Jan 2006 17:04:09 +0000
Subject: [PATCH] Clean up temp files on signal.

---
 src/utils/pintos | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/utils/pintos b/src/utils/pintos
index afd0ec2..f993968 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -677,10 +677,11 @@ sub xsystem {
 # relay_signal($pid, $signal)
 #
 # Relays $signal to $pid and then reinvokes it for us with the default
-# handler.
+# handler.  Also cleans up temporary files.
 sub relay_signal {
     my ($pid, $signal) = @_;
     kill $signal, $pid;
+    File::Temp::cleanup();
     $SIG{$signal} = 'DEFAULT';
     kill $signal, getpid ();
 }
-- 
2.30.2