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