Joachim Meyer 7a0c41e378 Make stop script more robust. ...

And handle pagination.

2023-05-08 09:40:50 +02:00

..

condor_status_to_gpu_map.py

GPU map needs all 8 leading 0s..

2023-02-08 09:10:25 +01:00

map-gpu-ids.py

Restructure.

2022-12-15 16:20:26 +01:00

stop-jobs-no-longer-running.py

Make stop script more robust.

2023-05-08 09:40:50 +02:00

stop-jobs.py

Restructure.

2022-12-15 16:20:26 +01:00