diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2008-07-24 13:08:51 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2008-07-24 13:08:51 (GMT) |
| commit | 71f865da3fc8e8bdaadda1722bf56c7b4ac6ab4d (patch) | |
| tree | f0a14df0af982929386bd33ccb19b321381505d5 /src | |
| parent | c113487e99ff71e58dff78388ec792ff84e811fb (diff) | |
Shutdown the xsmp server. #7566
Diffstat (limited to 'src')
| -rw-r--r-- | src/sugar/session.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sugar/session.py b/src/sugar/session.py index 4b0c4ef..a3fb5e8 100644 --- a/src/sugar/session.py +++ b/src/sugar/session.py @@ -40,7 +40,7 @@ class SessionManager(object): self.session.initiate_shutdown() def shutdown_completed(self): - pass + _sugarext.xsmp_shutdown() def __shutdown_completed_cb(self, session): self.shutdown_completed() |