| commit | 4eb01cd37292ede5608e5b0f9c2fdbc5007a0e9a | [log] [tgz] |
|---|---|---|
| author | Barry Warsaw <barry@python.org> | Fri Dec 13 18:07:07 1996 +0000 |
| committer | Barry Warsaw <barry@python.org> | Fri Dec 13 18:07:07 1996 +0000 |
| tree | 4667b1980cfce5c4be5336af6ab51dc074af3d3c | |
| parent | 3c700ed6130f9b764326bac4ac1345e19e67d417 [diff] |
More or less portabilized.
1. If a conversion isn't supported on the current platform, just
ignore it, unless running as a script (i.e. verbose)
2. Don't use time.time() and os.popen('date') to get the raw values.
These will always be different!