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 1a25fc7 commit 8615c26Copy full SHA for 8615c26
1 file changed
src/cluster.jl
@@ -1275,7 +1275,12 @@ function terminate_all_workers()
1275
try
1276
rmprocs(workers(); waitfor=5.0)
1277
catch _ex
1278
- @warn "Forcibly interrupting busy workers" exception=_ex
+ if _ex isa ErrorException
1279
+ @warn "Forcibly interrupting busy workers" exception=_ex
1280
+ else
1281
+ @error "Unexpected error when interrupting busy workers" exception=(_ex, catch_backtrace())
1282
+ end
1283
+
1284
# Might be computation bound, interrupt them and try again
1285
interrupt(workers())
1286
0 commit comments