From f9b04b84cd48b903ecd83092c6c4b9fd5f4fd438 Mon Sep 17 00:00:00 2001
From: Aldo Cortesi <aldo@nullcube.com>
Date: Thu, 31 May 2012 21:18:41 -0700
Subject: [PATCH] Silence a (rare) KeyboardInterrupt exception in mitmproxy.

---
 mitmproxy | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/mitmproxy b/mitmproxy
index e7e0db225..0df1cc5d3 100755
--- a/mitmproxy
+++ b/mitmproxy
@@ -61,6 +61,9 @@ if __name__ == '__main__':
     opts.intercept = options.intercept
     opts.debug = options.debug
     m = console.ConsoleMaster(server, opts)
-    m.run()
+    try:
+        m.run()
+    except KeyboardInterrupt:
+        pass