diff options
-rwxr-xr-x | shell/src/shell.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/shell/src/shell.py b/shell/src/shell.py index 3c0584e..5ce526e 100755 --- a/shell/src/shell.py +++ b/shell/src/shell.py @@ -296,4 +296,7 @@ def main(): activityContainer = ActivityContainer(service, session_bus) - gtk.main() + try: + gtk.main() + except KeyboardInterrupt: + pass |