Fix argument type for logging.Formatter.formatTime (#3343)

datefmt can be None - that's what the default value is: https://docs.python.org/3/library/logging.html#logging.Formatter.formatTime
This commit is contained in:
Florian Bruhin
2019-10-11 14:39:25 +02:00
committed by Sebastian Rittau
parent 036abc7fda
commit bb12f3bdea

View File

@@ -186,7 +186,7 @@ class Formatter:
datefmt: Optional[str] = ...) -> None: ...
def format(self, record: LogRecord) -> str: ...
def formatTime(self, record: LogRecord, datefmt: str = ...) -> str: ...
def formatTime(self, record: LogRecord, datefmt: Optional[str] = ...) -> str: ...
def formatException(self, exc_info: _SysExcInfoType) -> str: ...
if sys.version_info >= (3,):
def formatMessage(self, record: LogRecord) -> str: ... # undocumented