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