Skip to content

Commit 0d420f0

Browse files
Debug logs for kill
1 parent fda7299 commit 0d420f0

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/workers.jl

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -82,12 +82,12 @@ function terminate!(w::Worker, from::Symbol=:manual)
8282
empty!(w.futures)
8383
end
8484
signal = Base.SIGTERM
85-
while true
85+
while !process_exited(w.process)
86+
@debug "sending signal $signal to worker $(w.pid)"
8687
kill(w.process, signal)
8788
signal = signal == Base.SIGTERM ? Base.SIGINT : Base.SIGKILL
8889
process_exited(w.process) && break
8990
sleep(0.1)
90-
process_exited(w.process) && break
9191
end
9292
if !(w.socket.status == Base.StatusUninit || w.socket.status == Base.StatusInit || w.socket.handle === C_NULL)
9393
close(w.socket)

0 commit comments

Comments
 (0)