From 1f9635c77978acb92a6a375550a819e1b6ae85f5 Mon Sep 17 00:00:00 2001
Message-Id: <1f9635c77978acb92a6a375550a819e1b6ae85f5.1717041924.git.mdw@distorted.org.uk>
From: Mark Wooding <mdw@chiark.greenend.org.uk>
Date: Sun, 28 May 2017 19:03:08 +0100
Subject: [PATCH] rhodes: Look up the redundant workers using the correct
 query.
Organization: Straylight/Edgeware

From: Mark Wooding <mdw@distorted.org.uk>

---
 rhodes | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rhodes b/rhodes
index b9d97fa..8509a4f 100755
--- a/rhodes
+++ b/rhodes
@@ -465,7 +465,7 @@ def step(dir, cmd, *args):
       ## Kill off the other jobs working on this component.  If we crash now,
       ## we lose a bunch of work. :-(
       c.execute("""SELECT pid FROM workers WHERE p = ? AND k = ?""",
-                (str(p), k))
+                (str(p), k - 1))
       for pid, in c:
         if pid != mypid: maybe_kill_worker(dir, pid)
       c.execute("""DELETE FROM workers WHERE p = ? AND k = ?""",
-- 
[mdw]