Closed jpsamaroo closed 8 months ago
Should fix https://github.com/JuliaParallel/Dagger.jl/issues/459 by retrying jl_set_task_tid until it either succeeds, or bailing out after 10 failed attempts.
jl_set_task_tid
Should fix https://github.com/JuliaParallel/Dagger.jl/issues/459 by retrying
jl_set_task_tid
until it either succeeds, or bailing out after 10 failed attempts.