def goodwait(p):
  while True:
    try:
      rv = p.wait()
      return rv
    except OSError, e:
      if e.errno != errno.EINTR:
        raise
python doesn't check if its system calls return EINTR, retry if it does
dataset/ETHPy150Open jansel/opentuner/opentuner/measurement/interface.py/goodwait