equal
deleted
inserted
replaced
568 This is a generic helper that will check for any activity |
568 This is a generic helper that will check for any activity |
569 (read, write. exception) and return the list of touched files. |
569 (read, write. exception) and return the list of touched files. |
570 |
570 |
571 In unsupported cases, it will raise a NotImplementedError""" |
571 In unsupported cases, it will raise a NotImplementedError""" |
572 try: |
572 try: |
573 res = select.select(fds, fds, fds) |
573 while True: |
|
574 try: |
|
575 res = select.select(fds, fds, fds) |
|
576 break |
|
577 except select.error as inst: |
|
578 if inst.args[0] == errno.EINTR: |
|
579 continue |
|
580 raise |
574 except ValueError: # out of range file descriptor |
581 except ValueError: # out of range file descriptor |
575 raise NotImplementedError() |
582 raise NotImplementedError() |
576 return sorted(list(set(sum(res, [])))) |
583 return sorted(list(set(sum(res, [])))) |
577 |
584 |
578 def readpipe(pipe): |
585 def readpipe(pipe): |