# HG changeset patch
# User Simon Cross <hodgestar@gmail.com>
# Date 1316208064 -7200
# Node ID ca2c98447453be82016b831c71314c7a82cb3b08
# Parent  0a2c686a8b14a2a825b67f6c3d906c7688479df6
Gracefull Ctrl-C.

diff -r 0a2c686a8b14 -r ca2c98447453 mamba/__main__.py
--- a/mamba/__main__.py	Fri Sep 16 23:18:33 2011 +0200
+++ b/mamba/__main__.py	Fri Sep 16 23:21:04 2011 +0200
@@ -39,5 +39,8 @@
 
     engine = Engine()
     engine.set_habitat(start)
-    engine.run()
+    try:
+        engine.run()
+    except KeyboardInterrupt:
+        pass
     engine.set_habitat(None)  # clear habitat