From 7ead04fa0180e0d79a66804ecd6c162876a72183 Mon Sep 17 00:00:00 2001 From: Fabio Erculiani Date: Thu, 25 Aug 2011 09:52:17 +0200 Subject: [PATCH] [kernel-switcher] catch KeyboardInterrupt and don't throw traceback to user --- services/kernel-switcher | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/services/kernel-switcher b/services/kernel-switcher index 35d761af4..47babe4e3 100755 --- a/services/kernel-switcher +++ b/services/kernel-switcher @@ -257,5 +257,8 @@ if not argv: cmd, args = argv[0], argv[1:] func = args_map.get(cmd, args_map.get("__fallback__")) -rc = func(args) +try: + rc = func(args) +except KeyboardInterrupt: + raise SystemExit(1) raise SystemExit(rc)