Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • tests/pybin/tools.py

    r35a408b7 rf806b61  
    179179                        os.chdir(cwd)
    180180
    181 def killgroup():
    182         try:
    183                 os.killpg(os.getpgrp(), signal.SIGINT)
    184         except KeyboardInterrupt:
    185                 pass # expected
    186         except Exception as exc:
    187                 print("Unexpected exception", file=sys.stderr)
    188                 print(exc, file=sys.stderr)
    189                 sys.stderr.flush()
    190                 sys.exit(2)
    191 
    192181################################################################################
    193182#               file handling
     
    312301        self.end = time.time()
    313302        self.duration = self.end - self.start
    314 
    315 def timed(src, timeout):
    316         expire = time.time() + timeout
    317         i = iter(src)
    318         while True:
    319                 yield i.next(max(expire - time.time(), 0))
Note: See TracChangeset for help on using the changeset viewer.