Registrazione Python: usa i millisecondi nel formato dell’ora

| |

Per impostazione predefinita logging.Formatter("%(asctime)s") stampa con il seguente formato:

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

dove 638 è il millisecondo. Devo cambiare la virgola in un punto:

2011-06-09 10:54:40.638 

Per formattare l'ora posso usare:

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

tuttavia documentazione non specifica come formattare i millisecondi. Ho trovato questa domanda SO che parla di microsecondi, ma a) lo farei preferisco i millisecondi e b) quanto segue non funziona su Python 2.6 (su cui sto lavorando) a causa di %f:

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