Skip to content

fix: PilotManager not using tokens to kill pilots#8123

Merged
chrisburr merged 1 commit intoDIRACGrid:integrationfrom
aldbr:main_FIX_pilot-manager-kill-pilots-token
Apr 7, 2025
Merged

fix: PilotManager not using tokens to kill pilots#8123
chrisburr merged 1 commit intoDIRACGrid:integrationfrom
aldbr:main_FIX_pilot-manager-kill-pilots-token

Commits

Commits on Apr 7, 2025