From 5684142f11aa0b100a2976ebd54f8509d0c35971 Mon Sep 17 00:00:00 2001
From: Avery Pennarun <apenwarr@gmail.com>
Date: Mon, 13 May 2019 22:58:42 +0000
Subject: [PATCH] redo-log: "(resumed)" lines didn't print as often as they
 should.

If we print a line indicating that we've started building a subprogram,
then that's an "interruption" of the detailed output of the current
program; we need to "resume" the current program's logs before printing
any new detailed information that comes through.
---
 redo/cmd_log.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/redo/cmd_log.py b/redo/cmd_log.py
index 10ec2ac..7d666b9 100644
--- a/redo/cmd_log.py
+++ b/redo/cmd_log.py
@@ -190,9 +190,11 @@ def catlog(t):
                 if opt.debug_locks:
                     logs.meta(kind, relname, pid=pid)
                     logs.write(line.rstrip())
+                    interrupted += 1
                     lines_written += 1
                 elif fixname not in already:
                     logs.meta('do', relname, pid=pid)
+                    interrupted += 1
                     lines_written += 1
                 if opt.recursive:
                     assert text