diff src/core/log.py @ 1016:0c361fdc76af

core (logs): workaround for pyjamas bug
author Goffi <goffi@goffi.org>
date Thu, 08 May 2014 17:16:15 +0200
parents 11409a6c16c7
children 0ea97f483464
line wrap: on
line diff
--- a/src/core/log.py	Sun May 04 18:43:54 2014 +0200
+++ b/src/core/log.py	Thu May 08 17:16:15 2014 +0200
@@ -91,7 +91,7 @@
         try:
             if not self.filter_name.dictFilter(record):
                 raise Filtered
-        except AttributeError:
+        except (AttributeError, TypeError): # XXX: TypeError is here because of a pyjamas bug which need to be fixed (TypeError is raised instead of AttributeError)
             if self.filter_name is not None:
                 raise ValueError("Bad filter: filters must have a .filter method")
         try: