This commit is contained in:
Marco Pesenti Gritti 2006-06-21 16:10:19 -04:00
parent 37ad383be3
commit d3c2a104db

View File

@ -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 = []
@ -50,12 +56,6 @@ class Session:
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()