Is there an easy way to get, from the worker id, the process id? I could do
# length(workers()) == 1039
[remotecall_fetch(getpid, w_id) for w_id in workers()]
but is there a way to do this on worker 1 without fetching?
Thanks!
Is there an easy way to get, from the worker id, the process id? I could do
# length(workers()) == 1039
[remotecall_fetch(getpid, w_id) for w_id in workers()]
but is there a way to do this on worker 1 without fetching?
Thanks!