Message290944
One example demonstrating that the datetime module at least prefers a decimal point:
>>> import dateutil.parser
>>> t = '1993-04-21 08:03:00,123'
>>> dateutil.parser.parse(t)
datetime.datetime(1993, 4, 21, 8, 3, 0, 123000)
>>> dateutil.parser.parse(t).isoformat()
'1993-04-21T08:03:00.123000'
Looking at datetime.py, it appears the dot is hard-coded there. Maybe there would be value in the right hand (logging) and the left hand (datetime) doing things the same way? |
|
Date |
User |
Action |
Args |
2017-03-31 21:48:14 | skip.montanaro | set | recipients:
+ skip.montanaro, vinay.sajip |
2017-03-31 21:48:14 | skip.montanaro | set | messageid: <1490996894.83.0.00767163134546.issue29955@psf.upfronthosting.co.za> |
2017-03-31 21:48:14 | skip.montanaro | link | issue29955 messages |
2017-03-31 21:48:14 | skip.montanaro | create | |
|