From: Mark Wooding <mdw@distorted.org.uk>
Date: Sun, 28 May 2017 18:03:08 +0000 (+0100)
Subject: rhodes: Look up the redundant workers using the correct query.
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/rhodes/commitdiff_plain/1f9635c77978acb92a6a375550a819e1b6ae85f5

rhodes: Look up the redundant workers using the correct query.
---

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 = ?""",