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 aa63284..8830344 100755 --- a/shell/src/shell.py +++ b/shell/src/shell.py @@ -295,4 +295,7 @@ def main(): activityContainer = ActivityContainer(service, session_bus) - gtk.main() + try: + gtk.main() + except KeyboardInterrupt: + pass |