From 7ac205742c0ab9c6b23ef28cd46717c49113782a Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 29 Apr 2021 00:50:30 +0100
Subject: [PATCH] cmdlistener: Provide InsnMark for handling expanding insns

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 daemon/cmdlistener.rs | 5 +++++
 src/commands.rs       | 2 ++
 2 files changed, 7 insertions(+)

diff --git a/daemon/cmdlistener.rs b/daemon/cmdlistener.rs
index ed92de93..f6744340 100644
--- a/daemon/cmdlistener.rs
+++ b/daemon/cmdlistener.rs
@@ -451,6 +451,11 @@ fn execute_game_insn<'cs, 'igr, 'ig: 'igr>(
       no_updates(ig, MGR::Fine)
     },
 
+    MGI::InsnMark(token) => {
+      let (ig, _) = cs.check_acl(&ag,ig,PCH::Instance, &[TP::TestExistence])?;
+      no_updates(ig, MGR::InsnMark(token))
+    }
+
     MGI::Synch => {
       let (ig, _) = cs.check_acl(&ag, ig, PCH::Instance, &[TP::Play])?;
       let (_gen, mgr) = some_synch_core(ig)?;
diff --git a/src/commands.rs b/src/commands.rs
index ffd3ea33..3da7d81e 100644
--- a/src/commands.rs
+++ b/src/commands.rs
@@ -81,6 +81,7 @@ pub enum MgmtGameInstruction {
   SetTableSize(Pos),
   SetTableColour(ColourSpec),
 
+  InsnMark(Box<[u8]>),
   /// For testing, mostly.
   Synch, SynchLog,
   /// For testing only
@@ -119,6 +120,7 @@ pub struct MgmtPlayerDetails {
 pub enum MgmtGameResponse {
   Fine,
   Info(MgmtGameResponseGameInfo),
+  InsnMark(Box<[u8]>),
   Synch(Generation),
 
   InternalPieceId(Option<PieceId>),
-- 
2.30.2