Code

Two workers with same name fix#468

Code

Merged

jkrue merged 1 commit intodevBiBiServ/bibigrid:devfrom two-workers-with-same-name-fixBiBiServ/bibigrid:two-workers-with-same-name-fixCopy head branch name to clipboardFeb 6, 2024

+10

Commits

Commits on Jan 17, 2024

• added existing worker deletion on worker startup if worker already exists as no worker would've been started if Slurm would've known about the existing worker. This is not the best solution.

  XaverStiensmeier

  committed
  5cc3f4b