[issue20163] ValueError: time data does not match format

[STINNER Victor]

STINNER Victor added the comment:

> >>> time.strptime ("Dec", "%b")
> ValueError: unconverted data remains: Dec

Ok, so what is the name of the December month?

>>> import time
>>> time.strftime("%b", time.gmtime(1387036705))
'Dec'

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue20163>
_______________________________________