KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix waitpid() call on python 3.8

Browse Source
This commit is contained in:
Kovid Goyal 2022-06-06 21:11:55 +05:30
parent bf6c90a69a
commit cc3c7b0286
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
kittens/prewarm/main.py
View File

@ -353,10 +353,11 @@ def main(args: List[str] = sys.argv) -> None:
es = str(e).replace('\n', ' ')
output_buf += f'ERR:{es}\n'.encode()
else:
child_id = len(child_id_map) + 1
child_id_map[child_id] = child_pid
child_ready_fds[child_id] = write_fd
output_buf += f'CHILD:{child_id}:{child_pid}\n'.encode()
if os.getpid() == self_pid:
child_id = len(child_id_map) + 1
child_id_map[child_id] = child_pid
child_ready_fds[child_id] = write_fd
output_buf += f'CHILD:{child_id}:{child_pid}\n'.encode()
finally:
if os.getpid() == self_pid:
os.close(read_fd)
@ -404,6 +405,10 @@ def main(args: List[str] = sys.argv) -> None:
pid, exit_status = os.waitpid(-1, os.WNOHANG)
except ChildProcessError:
break
# a zero return means there is at least one child process
# existing and no exit status is available
if pid == 0:
break
matched_child_id = -1
for child_id, child_pid in child_id_map.items():
if child_pid == pid: