From 6993157b3a2fe9d27a3f1ce179b6df5bbed5615a Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Mon, 13 Jun 2022 00:15:07 +0530 Subject: [PATCH] ... --- kitty/prewarm.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty/prewarm.py b/kitty/prewarm.py index 6b593fae9..991d07602 100644 --- a/kitty/prewarm.py +++ b/kitty/prewarm.py @@ -429,7 +429,7 @@ def main(stdin_fd: int, stdout_fd: int, notify_child_death_fd: int) -> None: xfd = child_ready_fds.pop(dead_child_id, None) if xfd is not None: os.close(xfd) - dead_child_pid = child_id_map.pop(dead_child_id) + dead_child_pid = child_id_map.pop(dead_child_id, None) if dead_child_pid is not None: wait_for_child_death(dead_child_pid) child_death_buf += f'{dead_child_pid}\n'.encode()