Closed bertsky closed 2 years ago
(because otherwise the worker semaphore would make the jobs Monitor block for ps)
ps
Do we need an ssh key here or is it the one from the ocrd user?
the latter
(because otherwise the worker semaphore would make the jobs Monitor block for
ps
)