From c2ebf35c6c83fa80b2ab0e8f096374a714a39fb0 Mon Sep 17 00:00:00 2001 From: Fabio Erculiani Date: Sun, 16 Dec 2012 19:16:51 +0100 Subject: [PATCH] [antimatter] catch KeyboardInterrupt --- server/antimatter | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/server/antimatter b/server/antimatter index ed2ddacdb..eca1d05e9 100755 --- a/server/antimatter +++ b/server/antimatter @@ -406,7 +406,11 @@ if __name__ == "__main__": print_error("Error, invalid regexp: %s" % (err,)) raise SystemExit(1) - antimatter = AntiMatter(nsargs) - antimatter.scan().notify() + try: + antimatter = AntiMatter(nsargs) + antimatter.scan().notify() + except KeyboardInterrupt: + print_error("Interrupted.") + raise SystemExit(1) raise SystemExit(0)