equal
deleted
inserted
replaced
144 def __exit__(self, type, value, traceback): |
144 def __exit__(self, type, value, traceback): |
145 if type is not None: |
145 if type is not None: |
146 if issubclass(type, (KeyboardInterrupt, SystemExit)): |
146 if issubclass(type, (KeyboardInterrupt, SystemExit)): |
147 return # re-raise |
147 return # re-raise |
148 if self.ctl.catcherrors: |
148 if self.ctl.catcherrors: |
149 self.ctl.record_error(self.key, msg) |
149 self.ctl.record_error(self.key, None, type, value, traceback) |
150 return True # silent |
150 return True # silent |
151 |
151 |
152 |
152 |
153 # base sanitizing functions #################################################### |
153 # base sanitizing functions #################################################### |
154 |
154 |