# HG changeset patch
# User Steve Losh <steve@stevelosh.com>
# Date 1353782919 18000
# Node ID 154eb9cb113d5eeb8cc26b332059cdef1157a73c
# Parent  6ee9f82b2d718b2ccddfa301b8e0897ccf97c6da
Handle Ctrl+C cleanly.

diff -r 6ee9f82b2d71 -r 154eb9cb113d peat
--- a/peat	Sat Nov 17 12:11:15 2012 -0500
+++ b/peat	Sat Nov 24 13:48:39 2012 -0500
@@ -154,5 +154,10 @@
 
 
 if __name__ == '__main__':
+    import signal
+    def sigint_handler(signal, frame):
+        sys.stdout.write('\n')
+        sys.exit(130)
+    signal.signal(signal.SIGINT, sigint_handler)
     main()