Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 12:40:06 +01:00
Code Issues Projects Releases Packages Wiki Activity

Update web-platform-tests to revision ad219567030d1f99f7310f52a17546b57b70d29e

Browse source
This commit is contained in:
WPT Sync Bot 2019-02-14 20:36:47 -05:00
parent 2c63d1296b
commit a7e62acbe8
129 changed files with 4156 additions and 590 deletions
Download patch file Download diff file Expand all files Collapse all files

6
tests/wpt/web-platform-tests/common/sleep.py
View file

@ -5,4 +5,8 @@ import time
sleep_padding = 15.0
def sleep_at_least(sleep_in_ms):
time.sleep((sleep_in_ms + sleep_padding) / 1E3);
sleep_until = time.time() + (sleep_in_ms / 1E3)
time.sleep((sleep_in_ms + sleep_padding) / 1E3)
# Check if the padding was sufficient; if not, sleep again.
while time.time() < sleep_until:
time.sleep(sleep_padding / 1E3)