Amaury Forgeot d'Arc <[EMAIL PROTECTED]> added the comment: I considered using a datetime.datetime object instead. But it make more sense to use a time_t number, like os.stat() and time.time().
About the tests on the gzip format details: I am not an expert of the gzip format, but are we sure that the compressed data will always be the same? Otherwise the patch is fine. ---------- nosy: +amaury.forgeotdarc _______________________________________ Python tracker <[EMAIL PROTECTED]> <http://bugs.python.org/issue4272> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
