From 8a70e415d2169adf8c6c012e30fc533aaea7178d Mon Sep 17 00:00:00 2001
From: Iustin Pop <iustin@google.com>
Date: Mon, 14 Jul 2008 11:12:50 +0000
Subject: [PATCH] Fix JobStorage._GetJobIDsUnlocked
The job ID returned must be an integer (and the regex enforces that),
but we didn't convert it manually.
Reviewed-by: imsnah
---
lib/jqueue.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/lib/jqueue.py b/lib/jqueue.py
index 01a5816fd..285a1bfe5 100644
--- a/lib/jqueue.py
+++ b/lib/jqueue.py
@@ -321,7 +321,7 @@ class JobStorage(object):
"""
jfiles = self._ListJobFiles()
- return [m.group(1) for m in
+ return [int(m.group(1)) for m in
[self._RE_JOB_FILE.match(name) for name in jfiles]]
def _ListJobFiles(self):
--
GitLab