diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-09-12 11:21:18 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-09-12 11:21:18 (GMT) |
| commit | 53f7cc1f343e9f54bd61f92d434a9e700e7aa160 (patch) | |
| tree | 63776f71947dff376f78c0593850480d2d7f577f /activities | |
| parent | d65e8b88e70350b24fd482946a47d6d418995f75 (diff) | |
Cleanup browser model service on destroy.
Remove the activity service even if the owner is gone.
Diffstat (limited to 'activities')
| -rw-r--r-- | activities/browser/BrowserActivity.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/activities/browser/BrowserActivity.py b/activities/browser/BrowserActivity.py index a8c795a..6d452c5 100644 --- a/activities/browser/BrowserActivity.py +++ b/activities/browser/BrowserActivity.py @@ -25,6 +25,7 @@ class BrowserActivity(Activity): self._model = None self.set_title("Web Page") + self.connect('destroy', self._destroy_cb) vbox = gtk.VBox() @@ -123,3 +124,7 @@ class BrowserActivity(Activity): self._notif_bar.set_action('goto_shared_location', 'Go There') self._notif_bar.set_icon('stock_right') self._notif_bar.show() + + def _destroy_cb(self, window): + if self._model: + self._model.shutdown() |