diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-10-16 09:57:54 +0900 |
|---|---|---|
| committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-10-16 09:57:54 +0900 |
| commit | e7e07fd69723c02d6b011142f5e97fe2d42bd7d9 (patch) | |
| tree | 1fe9194dd4115ed070212641ecc46e7d8846d13d /sphinx/util/docutils.py | |
| parent | 25678f391d55a701b7d5f2d2e214db980dcebbd3 (diff) | |
| parent | be2b86cc15a2f5fca1581c25ebf2db9a189dbc41 (diff) | |
| download | sphinx-git-e7e07fd69723c02d6b011142f5e97fe2d42bd7d9.tar.gz | |
Merge branch '1.8'
Diffstat (limited to 'sphinx/util/docutils.py')
| -rw-r--r-- | sphinx/util/docutils.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sphinx/util/docutils.py b/sphinx/util/docutils.py index f1fd66167..9ce4087ac 100644 --- a/sphinx/util/docutils.py +++ b/sphinx/util/docutils.py @@ -225,13 +225,13 @@ class sphinx_domains: class WarningStream: def write(self, text): # type: (unicode) -> None - matched = report_re.search(text) # type: ignore + matched = report_re.search(text) if not matched: logger.warning(text.rstrip("\r\n")) else: location, type, level = matched.groups() - message = report_re.sub('', text).rstrip() # type: ignore - logger.log(type, message, location=location) + message = report_re.sub('', text).rstrip() + logger.log(type, message, location=location) # type: ignore class LoggingReporter(Reporter): |