| Index: tools/dom/scripts/dartgenerator.py
|
| diff --git a/tools/dom/scripts/dartgenerator.py b/tools/dom/scripts/dartgenerator.py
|
| index 617170096f83fb02af90998ea04c2003849c3b31..7cb718a4e83c478bcb3e960a36fa314722ff844a 100755
|
| --- a/tools/dom/scripts/dartgenerator.py
|
| +++ b/tools/dom/scripts/dartgenerator.py
|
| @@ -26,9 +26,10 @@ def MergeNodes(node, other):
|
| class DartGenerator(object):
|
| """Utilities to generate Dart APIs and corresponding JavaScript."""
|
|
|
| - def __init__(self):
|
| + def __init__(self, logging_level=logging.WARNING):
|
| self._auxiliary_files = {}
|
| self._dart_templates_re = re.compile(r'[\w.:]+<([\w\.<>:]+)>')
|
| + _logger.setLevel(logging_level)
|
|
|
| def _StripModules(self, type_name):
|
| return type_name.split('::')[-1]
|
|
|