Message320056
Hum, I guess that the fix is to use a timeout of 5 minutes instead of 1 minute. It's ok if the buildbot is slow.
Moreover, it would be interesting to replace time.time() with time.monotonic(). |
|
Date |
User |
Action |
Args |
2018-06-20 10:23:57 | vstinner | set | recipients:
+ vstinner, paul.moore, tim.golden, zach.ware, steve.dower |
2018-06-20 10:23:57 | vstinner | set | messageid: <1529490237.23.0.56676864532.issue33716@psf.upfronthosting.co.za> |
2018-06-20 10:23:57 | vstinner | link | issue33716 messages |
2018-06-20 10:23:57 | vstinner | create | |
|