diff options
| -rw-r--r-- | src/util.py | 13 | 
1 files changed, 13 insertions, 0 deletions
diff --git a/src/util.py b/src/util.py index 936538d..d12d3b2 100644 --- a/src/util.py +++ b/src/util.py @@ -17,6 +17,7 @@ You should have received a copy of the GNU General Public License  along with this program.  If not, see <http://www.gnu.org/licenses/>.  '''  import sys +import time  import threading  import subprocess @@ -35,6 +36,18 @@ def async(target, name = None, group = None):      return t +def watch(interval, target): +    ''' +    Run a function periodically forever +     +    @param  interval:float  The number of seconds to sleep between invocatons +    @param  target:()→void  The function +    ''' +    while True: +        target() +        time.sleep(interval) + +  def spawn(*command):      '''      Spawn an external process  | 
