retrying
retrying copied to clipboard
specify time in decimal seconds
because python time.time() and time.sleep() have sub millisecond resolution (at least on linux which has ~microsecond-ish resoluiton), providing time in fractional seconds should be preferred to ms ... i would rather specify 1.000001s than 1000.001ms ...
but if backward compatibility is important, then at least support fractional milliseconds (up to 0.001ms resolution).
also this saves some multiplicaiton, division and rounding which is precious time if you need to retry in a high performance environment.
any thoughts? i know its been a year ... but ... seconds over ms and retrying multiple times per millisecond?