ensure watch_valgrind exits with an interrupt

COMP1511UNSW · Jul 10, 2019 · 099db54 · 099db54
1 parent 908524f
commit 099db54
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/watch_valgrind.py b/watch_valgrind.py
@@ -55,4 +55,5 @@ def watch_valgrind():
 	sys.exit(0)
 
 if __name__ == '__main__':
+	signal.signal(signal.SIGINT, lambda signum, frame: sys.exit(1))
 	watch_valgrind()