From 0df0fd6a0b13db8d8902a111df2ac6dd0cc3b0c2 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sun, 22 Oct 2017 19:29:13 +0530 Subject: [PATCH] Handle EINTR in reap_zombies --- kitty/main.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/kitty/main.py b/kitty/main.py index 36f405495..0366315dc 100644 --- a/kitty/main.py +++ b/kitty/main.py @@ -3,6 +3,7 @@ # License: GPL v3 Copyright: 2016, Kovid Goyal import argparse +import errno import locale import os import signal @@ -250,6 +251,9 @@ def reap_zombies(*a): pid, status = os.waitpid(-1, os.WNOHANG) if pid == 0: break + except OSError as err: + if err.errno != errno.EINTR: + break except Exception: break