From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 26 Mar 2021 18:50:53 +0000 (+0000)
Subject: cmdlistener: Add a trace dbg
X-Git-Tag: otter-0.5.0~395
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=c922fc0ed1238ae2a6db1a655a7007d9f82c47a8;p=otter.git

cmdlistener: Add a trace dbg

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/daemon/cmdlistener.rs b/daemon/cmdlistener.rs
index 5fa1bda7..25c17857 100644
--- a/daemon/cmdlistener.rs
+++ b/daemon/cmdlistener.rs
@@ -831,6 +831,7 @@ fn execute_for_game<'cs, 'igr, 'ig: 'igr>(
   };
   let res = (||{
     for insn in insns.drain(0..) {
+      trace_dbg!("exeucting game insns", insn);
       let (updates, resp, unprepared, ig) =
         execute_game_insn(cs, ag, igu, insn, &who,
                           &mut to_permute)?;