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: