diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2006-04-24 19:00:58 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <mpg@redhat.com> | 2006-04-24 19:00:58 (GMT) |
commit | 13b22192236565738f2105866659327b1784099d (patch) | |
tree | 66b769c14206479b8040e00d6bb75b2f66b5bd69 /browser | |
parent | 9f0348c00264a697204550a463abfdabfb6df5a6 (diff) |
Fix a serialization bug (inversed tags)
Diffstat (limited to 'browser')
-rwxr-xr-x | browser/browser.py | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/browser/browser.py b/browser/browser.py index 41a7f80..44ae6ea 100755 --- a/browser/browser.py +++ b/browser/browser.py @@ -213,7 +213,4 @@ class WebActivity(activity.Activity): web_activity = WebActivity() web_activity.activity_connect_to_shell() -try: - gtk.main() -except KeyboardInterrupt: - pass +gtk.main() |