diff options
Diffstat (limited to 'ranger/ext/waitpid_no_intr.py')
| -rw-r--r-- | ranger/ext/waitpid_no_intr.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ranger/ext/waitpid_no_intr.py b/ranger/ext/waitpid_no_intr.py index 5ed79e04..c2063313 100644 --- a/ranger/ext/waitpid_no_intr.py +++ b/ranger/ext/waitpid_no_intr.py @@ -5,6 +5,8 @@ def waitpid_no_intr(pid): while True: try: return os.waitpid(pid, 0) + except KeyboardInterrupt: + continue except OSError as e: if e.errno == errno.EINTR: continue |