Ведение журнала Python: использовать миллисекунды в формате времени

По умолчанию logging.Formatter ('% (asctime) s') печатает с следующий формат:

2011-06-09 10:54:40,638

, где 638 - миллисекунда. Мне нужно заменить запятую на точку:

2011-06-09 10:54:40.638

Чтобы отформатировать время, которое я могу использовать:

logging.Formatter(fmt='%(asctime)s',datestr=date_format_str)

, однако в документации не указано, как форматировать миллисекунды. Я нашел этот вопрос SO , в котором говорится о микросекундах, но а) я бы предпочел миллисекунды и б) следующее не работает на Python 2.6 (над которым я работаю) из-за % f :

logging.Formatter(fmt='%(asctime)s',datefmt='%Y-%m-%d,%H:%M:%S.%f')