| 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)
|
|
|