Index: tools/dom/scripts/dartmetadata.py |
diff --git a/tools/dom/scripts/dartmetadata.py b/tools/dom/scripts/dartmetadata.py |
index a86424fa098766f35e89b3fd2a76976354873a26..cd129cc9a9f3502b0f96998baa0584c01fcd8e20 100644 |
--- a/tools/dom/scripts/dartmetadata.py |
+++ b/tools/dom/scripts/dartmetadata.py |
@@ -576,7 +576,9 @@ _annotations = monitored.Dict('dartmetadata._annotations', { |
_monitor_type_metadata = False |
class DartMetadata(object): |
- def __init__(self, api_status_path, doc_comments_path): |
+ def __init__(self, api_status_path, doc_comments_path, |
+ logging_level=logging.WARNING): |
+ _logger.setLevel(logging_level) |
self._api_status_path = api_status_path |
status_file = open(self._api_status_path, 'r+') |
self._types = json.load(status_file) |