skytools.scripting: catch EINTR from sleep()
authorMarko Kreen <markokr@gmail.com>
Tue, 22 May 2012 10:34:34 +0000 (13:34 +0300)
committerMarko Kreen <markokr@gmail.com>
Tue, 22 May 2012 10:34:34 +0000 (13:34 +0300)
commitcece3d7e465265be77257cd462bc818be0a161a0
tree49f1ebc63ab1d0ebc9d56fa2a9b3ddd389ee70ae
parent698ee471ef5073ae4303eb17d3b8bddc793dbe93
skytools.scripting: catch EINTR from sleep()
python/skytools/scripting.py