diff options
author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-06-21 20:10:19 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-06-21 20:10:19 (GMT) |
commit | d3c2a104dbbfd1bdbb20a90a885420dbce2ee1ce (patch) | |
tree | 738ae885144fecee6a70a2dd1c324aeb05201c71 | |
parent | 37ad383be3d48de6c6f8213d50fb8a0a9ceed632 (diff) |
Typo
-rw-r--r-- | shell/session/session.py | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/shell/session/session.py b/shell/session/session.py index 2f6eab2..1b5bec6 100644 --- a/shell/session/session.py +++ b/shell/session/session.py @@ -20,6 +20,12 @@ class Session: self._run_activities() + try: + gtk.main() + except KeyboardInterrupt: + print 'Ctrl+C pressed, exiting...' + self.shutdown() + def _run_activities(self): base_dirs = [] @@ -49,12 +55,6 @@ class Session: args = [ 'python', '-m', activity ] pid = os.spawnvp(os.P_NOWAIT, 'python', args) self._activity_processes[activity] = pid - - try: - gtk.main() - except KeyboardInterrupt: - print 'Ctrl+C pressed, exiting...' - self.shutdown() def _shell_close_cb(self, shell): self.shutdown() |