Skip to content

Commit 20cee8d

Browse files
committed
Comment on warnings that appear sometimes on shutdown
1 parent 069125e commit 20cee8d

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

src/cman.jl

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -217,7 +217,11 @@ function manage(mgr::MPIManager, id::Integer, config::WorkerConfig, op::Symbol)
217217
end
218218
elseif op == :deregister
219219
info("pid=$(getpid()) id=$id op=$op")
220-
# TODO: terminate the worker
220+
# TODO: Sometimes -- very rarely -- Julia calls this `deregister`
221+
# function, and then outputs a warning such as """error in running
222+
# finalizer: ErrorException("no process with id 3 exists")""". These
223+
# warnings seem harmless; still, we should find out what is going wrong
224+
# here.
221225
elseif op == :interrupt
222226
# TODO: This should never happen if we rmprocs the workers properly
223227
info("pid=$(getpid()) id=$id op=$op")

0 commit comments

Comments
 (0)