Index: tools/dom/scripts/multiemitter.py |
diff --git a/tools/dom/scripts/multiemitter.py b/tools/dom/scripts/multiemitter.py |
index f0628410dad944ea9a593ab052228df1a39a8335..3764ebda21e752576d071e2335bd9811ef04130a 100644 |
--- a/tools/dom/scripts/multiemitter.py |
+++ b/tools/dom/scripts/multiemitter.py |
@@ -24,10 +24,12 @@ class MultiEmitter(object): |
""" |
- def __init__(self): |
+ def __init__(self, logging_level=logging.WARNING): |
self._key_to_emitter = {} # key -> Emitter |
self._filename_to_emitter = {} # filename -> Emitter |
+ _logger.setLevel(logging_level) |
+ |
def FileEmitter(self, filename, key=None): |
"""Creates an emitter for writing to a file. |