diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-06-01 08:24:13 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-06-01 08:24:13 (GMT) |
| commit | 38c0cf411c5be352631b94ca9c670089318baad4 (patch) | |
| tree | a0e89a68f9a02ff0ab97e5a6be092da6fd52f73d /shell/view/Shell.py | |
| parent | d271e1f4817a83332718988779273e3d169f6633 (diff) | |
Remove our custom launch timeout. The dbus timeout
is enough.
Diffstat (limited to 'shell/view/Shell.py')
| -rw-r--r-- | shell/view/Shell.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/shell/view/Shell.py b/shell/view/Shell.py index 0f3b629..d88ec50 100644 --- a/shell/view/Shell.py +++ b/shell/view/Shell.py @@ -70,8 +70,6 @@ class Shell(gobject.GObject): def _activity_removed_cb(self, home_model, home_activity): if home_activity.get_type() in self._activities_starting: self._activities_starting.remove(home_activity.get_type()) - if not home_activity.get_launched(): - return xid = home_activity.get_xid() if self._hosts.has_key(xid): self._hosts[xid].destroy() |