# HG changeset patch
# User Robin Baumgartner <robin@baumgartners.ch>
# Date 1353589979 -3600
# Node ID aef3e059452cf2ed2299b044906bc2823c90f552
# Parent  c6ddd259d01c83170189d19413d01f075499d7a2
Handle KeyboardInterrupt

diff -r c6ddd259d01c -r aef3e059452c ffind
--- a/ffind	Tue Nov 06 17:48:25 2012 -0500
+++ b/ffind	Thu Nov 22 14:12:59 2012 +0100
@@ -835,4 +835,9 @@
 
 
 if __name__ == '__main__':
+    import signal
+    def sigint_handler(signal, frame):
+        sys.stdout.write('\n')
+        sys.exit(130)
+    signal.signal(signal.SIGINT, sigint_handler)
     main()