Skip to content

Commit da923b5

Browse files
kribenmagnesj
authored andcommitted
#10751 Fix os.kill() on Windows by using SIGTERM instead of CTRL_C_EVENT
Fixes #10751.
1 parent fe3cf9b commit da923b5

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

GrpcInterface/Python/rips/instance.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -91,8 +91,8 @@ def __kill_process(pid: int) -> None:
9191
Kill the process with a given pid.
9292
"""
9393
if hasattr(signal, "CTRL_C_EVENT"):
94-
# windows does not have kill
95-
os.kill(pid, signal.CTRL_C_EVENT)
94+
# windows - use SIGTERM for process termination
95+
os.kill(pid, signal.SIGTERM)
9696
else:
9797
# linux/unix
9898
os.kill(pid, signal.SIGKILL)

0 commit comments

Comments
 (0)