Avoid logging duplicate messages. Fixes #954.

This commit is contained in:
Waylan Limberg
2016-06-02 14:29:44 -04:00
parent 176b722c1c
commit 44f0fa7880

View File

@@ -16,7 +16,20 @@ from mkdocs.utils import filters
from mkdocs.relative_path_ext import RelativePathExtension
import mkdocs
class DuplicateFilter(object):
''' Avoid logging duplicate messages. '''
def __init__(self):
self.msgs = set()
def filter(self, record):
rv = record.msg not in self.msgs
self.msgs.add(record.msg)
return rv
log = logging.getLogger(__name__)
log.addFilter(DuplicateFilter())
def convert_markdown(markdown_source, config, site_navigation=None):