From 76acb90a981ab1517e7aa61583ad0a93942c6933 Mon Sep 17 00:00:00 2001
From: rdb <git@rdb.name>
Date: Fri, 9 Apr 2010 12:57:34 +0000
Subject: [PATCH] Handle keyboard interrupts better

---
 makepanda/makepandacore.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/makepanda/makepandacore.py b/makepanda/makepandacore.py
index 42e3cbc3fe..6a24eb42d6 100644
--- a/makepanda/makepandacore.py
+++ b/makepanda/makepandacore.py
@@ -218,7 +218,7 @@ def oscmd(cmd, ignoreError = False):
         if (GetVerbose() and res != 0):
             print GetColor("red") + "Process exited with exit status %d and signal code %d" % ((res & 0xFF00) >> 8, sig) + GetColor()
         if (sig == signal.SIGINT):
-            raise KeyboardInterrupt
+            exit("keyboard interrupt")
         # Don't ask me where the 35584 or 34304 come from...
         if (sig == signal.SIGSEGV or res == 35584 or res == 34304):
             if (LocateBinary("gdb") and GetVerbose()):