From 2aeada884e0db54b65b1d65abdda85569e42b751 Mon Sep 17 00:00:00 2001
From: Goffi <goffi@goffi.org>
Date: Thu, 8 May 2014 17:16:15 +0200
Subject: [PATCH] core (logs): workaround for pyjamas bug

---
 src/core/log.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/log.py b/src/core/log.py
index 3ab185b2..63a76534 100644
--- a/src/core/log.py
+++ b/src/core/log.py
@@ -91,7 +91,7 @@ class Logger(object):
         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: