Added safe_sleep()

diff --git a/test/util.py b/test/util.py
index e8bb9c2c1ee78b5b80d9d97db23bae134a5d0add..9c379f0a079af2bf255e77589427f179d553f563 100644 (file)
--- a/test/util.py
+++ b/test/util.py
@@ -38,6 +38,20 @@ def umount(mount_process, mnt_dir):
     pytest.fail('mount process did not terminate')
 
 
+def safe_sleep(secs):
+    '''Like time.sleep(), but sleep for at least *secs*
+
+    `time.sleep` may sleep less than the given period if a signal is
+    received. This function ensures that we sleep for at least the
+    desired time.
+    '''
+
+    now = time.time()
+    end = now + secs
+    while now < end:
+        time.sleep(end - now)
+        now = time.time()
+
 # If valgrind and libtool are available, use them
 def has_program(name):
     try: