diff options
author | flavio <fdanesse@gmail.com> | 2013-03-01 01:08:00 (GMT) |
---|---|---|
committer | flavio <fdanesse@gmail.com> | 2013-03-01 01:08:00 (GMT) |
commit | 260fdb96b6d7ae419cf75bfacaf8d9a9cb71982a (patch) | |
tree | 87d75b7b3bf025d6eca4a41fd56b8935e3ff23a5 | |
parent | 1739d8bbbebd7440f40b502caa3fdc97e56862d8 (diff) |
The stop button stops the code being executed
-rwxr-xr-x | activity.py | 1 | ||||
-rw-r--r-- | pippy_app.py | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/activity.py b/activity.py index a62e4c7..f5bb55b 100755 --- a/activity.py +++ b/activity.py @@ -26,6 +26,7 @@ class ViewSourceActivity(activity.Activity): super(ViewSourceActivity, self).__init__(handle, **kwargs) self.__source_object_id = None # XXX: persist this across invocations? self.connect('key-press-event', self._key_press_cb) + self._pid = None def _key_press_cb(self, widget, event): from gi.repository import Gdk diff --git a/pippy_app.py b/pippy_app.py index 1f48d99..6b45d55 100644 --- a/pippy_app.py +++ b/pippy_app.py @@ -419,7 +419,7 @@ class PippyActivity(ViewSourceActivity, groupthink.sugar_tools.GroupActivity): def stopbutton_cb(self, button): try: - os.kill(self._pid, SIGTERM) + if self._pid != None: os.kill(self._pid[1], SIGTERM) except: pass # process must already be dead. |