Georg Brandl added the comment:

It's not so surprising, since the string before the milliseconds part is a 
strftime() result, not a whole number.  The decimal point need not necessarily 
be used for this.

Just like the rest of the default time format, it is probably best for the 
millisecond part to be locale independent unless chosen to be locale aware by 
the programmer.

Using the comma is apparently common among loggers. I've seen it in logs 
generated by log4j and log4cpp as well.

----------
nosy: +georg.brandl

_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue22494>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to