We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0cca4d3 commit 8779372Copy full SHA for 8779372
src/cluster.jl
@@ -1208,7 +1208,7 @@ function deregister_worker(pg, pid)
1208
# Notify the cluster manager of this workers death
1209
manage(w.manager, w.id, w.config, :deregister)
1210
if PGRP.topology !== :all_to_all || isclusterlazy()
1211
- for rpid in workers()
+ for rpid in filter(!=(myid()), workers())
1212
try
1213
remote_do(deregister_worker, rpid, pid)
1214
catch
0 commit comments