commit 24275f1c2280c33edf31640b41a4da5f64911681
parent 25bf0d9c09713634bed5ccd2d3b673b0525c6e5d
Author: Florian Dold <florian.dold@gmail.com>
Date: Wed, 25 Sep 2019 18:26:44 +0200
logging
Diffstat:
1 file changed, 4 insertions(+), 5 deletions(-)
diff --git a/_exts/tsref.py b/_exts/tsref.py
@@ -36,10 +36,13 @@ from sphinx.pygments_styles import SphinxStyle
from pygments.formatters import HtmlFormatter
from docutils import nodes
from docutils.nodes import make_id
+from sphinx.util import logging
import re
import sys
+logger = logging.getLogger(__name__)
+
_escape_html_table = {
ord('&'): u'&',
ord('<'): u'<',
@@ -119,10 +122,6 @@ class MyHtmlBuilder(StandaloneHTMLBuilder):
self._current_docname = docname
super(MyHtmlBuilder, self).write_doc(docname, doctree)
- def warn(self, msg):
- print("warning:", msg, file=sys.stderr)
-
-
def get_annotation(tok, key):
if not hasattr(tok, "kv"):
return None
@@ -205,7 +204,7 @@ class LinkFilter(Filter):
tok_setprop(t, "href", href)
tok_setprop(t, "caption", caption)
else:
- self.app.builder.warn("unresolved link target in comment: " + id)
+ logger.warning("unresolved link target in comment: " + id)
yield t, m.group(1)
last = m.end()
post = value[last:]