mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-08-27 03:42:49 +00:00
...
This commit is contained in:
parent
e2efdf674d
commit
6993157b3a
1 changed files with 1 additions and 1 deletions
|
|
@ -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()
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue