changeset 1016:0c361fdc76af

core (logs): workaround for pyjamas bug
author Goffi <goffi@goffi.org>
date Thu, 08 May 2014 17:16:15 +0200 (2014-05-08)
parents fee00f2e11c2
children 0ea97f483464
files src/core/log.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
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: