skytools.scripting: catch EINTR from sleep()

1 files changed, 5 insertions, 1 deletions

diff --git a/python/skytools/scripting.py b/python/skytools/scripting.py
index d1544ced..ad67ef26 100644
--- 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.