chiark / gitweb /
cmdlistener: Add a trace dbg
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 26 Mar 2021 18:50:53 +0000 (18:50 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 26 Mar 2021 18:51:28 +0000 (18:51 +0000)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
daemon/cmdlistener.rs

index 5fa1bda73ac2f9ad89fef130c2b1918be2ac692e..25c178570d940af025ef154fd25b6c7144ef05d2 100644 (file)
@@ -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)?;