blob: 2e803b1b262423e219be592fab548ada982bc439 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
import time
import timeit
# sleep can be lower than requested value in some platforms: https://bugs.python.org/issue31539
# We add padding here to compensate for that.
sleep_padding = 15.0
def sleep_at_least(sleep_in_ms):
sleep_until = timeit.default_timer() + (sleep_in_ms / 1E3)
time.sleep((sleep_in_ms + sleep_padding) / 1E3)
# Check if the padding was sufficient; if not, sleep again.
while timeit.default_timer() < sleep_until:
time.sleep(sleep_padding / 1E3)
|
