fix: cast job array ID to an int

neilmunday · Sep 1, 2024 · 39a3c88 · 39a3c88
1 parent 3311467
commit 39a3c88
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/slurmmail/slurm.py b/src/slurmmail/slurm.py
@@ -119,7 +119,7 @@ def __init__(
             # has the job array started?
             match = Job.JOB_ARRAY_NOT_STARTED_RE.match(job_id)
             if match:
-                self.array_id = match.group(1)
+                self.array_id = int(match.group(1))
             else:
                 array_id, index = job_id.split("_")
                 self.array_id = int(array_id)