mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-05 15:41:39 +02:00
Code Issues Packages Projects Releases Wiki Activity

Get rid of os.waitid() since its not present on macOS we cannot rely on it anyway

Browse Source
This commit is contained in:
Kovid Goyal
2022-06-19 18:11:23 +05:30
parent d226e82f68
commit a3d42a90f2
1 changed files with 12 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

38
kitty/prewarm.py
View File

@@ -48,32 +48,18 @@ class Child:
child_process_pid: int
if hasattr(os, 'waitid'):
def wait_for_child_death(child_pid: int, timeout: float = 1) -> Optional[int]:
st = time.monotonic()
while time.monotonic() - st < timeout:
try:
x = os.waitid(os.P_PID, child_pid, os.WEXITED | os.WNOHANG)
except ChildProcessError:
return 0
else:
if x is not None and x.si_pid == child_pid:
return x.si_status
time.sleep(0.01)
return None
else:
def wait_for_child_death(child_pid: int, timeout: float = 1) -> Optional[int]:
st = time.monotonic()
while time.monotonic() - st < timeout:
try:
pid, status = os.waitpid(child_pid, os.WNOHANG)
except ChildProcessError:
return 0
else:
if pid == child_pid:
return status
time.sleep(0.01)
return None
def wait_for_child_death(child_pid: int, timeout: float = 1) -> Optional[int]:
st = time.monotonic()
while time.monotonic() - st < timeout:
try:
pid, status = os.waitpid(child_pid, os.WNOHANG)
except ChildProcessError:
return 0
else:
if pid == child_pid:
return status
time.sleep(0.01)
return None
class PrewarmProcess: