Adding upstream version 1:115.7.0.upstream/1%115.7.0upstream

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 13 insertions, 0 deletions

diff --git a/testing/web-platform/tests/resource-timing/sleep.py b/testing/web-platform/tests/resource-timing/sleep.py
new file mode 100644
index 0000000000..2e803b1b26
--- /dev/null
+++ b/testing/web-platform/tests/resource-timing/sleep.py
@@ -0,0 +1,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)