skytools.scripting: catch EINTR from sleep()

diff --git a/python/skytools/scripting.py b/python/skytools/scripting.py
index d1544ced345a3385b0edd4b96a4554d3d0bf1ca8..ad67ef265b677d80c19206dcfe13e93e72243a90 100644 (file)
--- a/python/skytools/scripting.py
+++ b/python/skytools/scripting.py
@@ -598,7 +598,11 @@ class BaseScript(object):
 
     def sleep(self, secs):
         """Make script sleep for some amount of time."""
-        time.sleep(secs)
+        try:
+            time.sleep(secs)
+        except IOError, ex:
+            if ex.errno != errno.EINTR:
+                raise
 
     def exception_hook(self, det, emsg):
         """Called on after exception processing.