server/session.py
changeset 4490 d45cde54d464
parent 4467 0e73d299730a
parent 4488 e8e7f6a0e7b6
child 4498 ee6362b4618d
--- a/server/session.py	Sat Feb 06 08:45:14 2010 +0100
+++ b/server/session.py	Mon Feb 08 11:08:55 2010 +0100
@@ -484,7 +484,8 @@
                 try:
                     operation.handle_event('%s_event' % trstate)
                 except:
-                    self.exception('error while %sing', trstate)
+                    self.critical('error while %sing', trstate,
+                                  exc_info=sys.exc_info())
             self.debug('%s session %s done', trstate, self.id)
         finally:
             self._touch()