Index: tools/dom/scripts/dartmetadata.py |
diff --git a/tools/dom/scripts/dartmetadata.py b/tools/dom/scripts/dartmetadata.py |
index 114c4558bf4b8c7274812634579d3344c7fa1efd..8b6a4cda21c794226cbdeee04415981aacc58966 100644 |
--- a/tools/dom/scripts/dartmetadata.py |
+++ b/tools/dom/scripts/dartmetadata.py |
@@ -585,7 +585,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) |