Index: tools/dom/scripts/systemhtml.py |
diff --git a/tools/dom/scripts/systemhtml.py b/tools/dom/scripts/systemhtml.py |
index 3d70e811e77e72d262f817df4b99cc827304b499..5cb27f0b32201e8c4ab51cc5b1b70db1001da4f2 100644 |
--- a/tools/dom/scripts/systemhtml.py |
+++ b/tools/dom/scripts/systemhtml.py |
@@ -654,7 +654,7 @@ class Dart2JSBackend(HtmlDartGenerator): |
interface. |
""" |
- def __init__(self, interface, options): |
+ def __init__(self, interface, options, logging_level=logging.WARNING): |
super(Dart2JSBackend, self).__init__(interface, options, False) |
self._database = options.database |
@@ -666,6 +666,8 @@ class Dart2JSBackend(HtmlDartGenerator): |
self._current_secondary_parent = None |
self._library_name = self._renamer.GetLibraryName(self._interface) |
+ _logger.setLevel(logging_level) |
+ |
def ImplementsMergedMembers(self): |
return True |