Message153310
| Author |
vstinner |
| Recipients |
Roger.Caldwell, docs@python, eric.smith, georg.brandl, vstinner |
| Date |
2012年02月14日.00:23:26 |
| SpamBayes Score |
3.3903043e-09 |
| Marked as misclassified |
No |
| Message-id |
<1329179007.15.0.720575652887.issue13927@psf.upfronthosting.co.za> |
| In-reply-to |
| Content |
> asctime() docs say it's a 24 char string.
I'm not sure that all platform conform to this "specification"... which is not future proof!
$ ./python
Python 3.3.0a0 (default:af1a9508f7fa, Feb 14 2012, 01:18:15)
[GCC 4.6.2 20111027 (Red Hat 4.6.2-1)] on linux
>>> import time
>>> time.ctime(2**38)
'Wed Jul 14 08:09:04 10680'
>>> len(time.ctime(2**38))
25
I suppose that you can say that the month day is formatted as 2 characters (padded with a space if needed). |
|