For some reason the old code didn't actually break, but it seems like a
bad idea to try.
## we lose a bunch of work. :-(
c.execute("""SELECT pid FROM workers WHERE p = ? AND k = ?""",
(str(p), k))
- for pid, in c: maybe_kill_worker(dir, pid)
+ for pid, in c:
+ if pid != mypid: maybe_kill_worker(dir, pid)
c.execute("""DELETE FROM workers WHERE p = ? AND k = ?""",
(str(p), k - 1))
c.execute("""DELETE FROM points WHERE p = ? AND k = ?""",