# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1399562175 -7200
# Node ID 0c361fdc76af1878bc3f28146cef19506a36bfb9
# Parent  fee00f2e11c23a325872c360a78e8a0ce1e66520
core (logs): workaround for pyjamas bug

diff -r fee00f2e11c2 -r 0c361fdc76af src/core/log.py
--- 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: