Joachim Meyer 1e0a9e8e53 Rename stop-jobs.py to be more clear what the distinction between the two scripts is.

2025-06-03 17:30:11 +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

Make gpu map script return the normalized node names already.

2023-06-29 10:01:19 +02:00

stop-jobs-from-file.py

Rename stop-jobs.py to be more clear what the distinction between the two scripts is.

2025-06-03 17:30:11 +02:00

stop-jobs-no-longer-running.py

Make stop script more stable..

2025-03-25 09:11:13 +01:00