fix #2575 (thanks for the patch)

This commit is contained in:
Stefan Bethge 2006-10-16 13:37:49 +00:00
parent b5d4bb4a1c
commit c456312e86
1 changed files with 4 additions and 1 deletions

View File

@ -1997,7 +1997,10 @@ if __name__ == '__main__':
try:
import gnome.ui
except ImportError:
try:
print >> sys.stderr, _('Session Management support not available (missing gnome.ui module)')
except IOError:
pass
else:
def die_cb(cli):
gtk.main_quit()