cmdlistener: Synch: Make it save the game

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

diff --git a/daemon/cmdlistener.rs b/daemon/cmdlistener.rs
index 76baf1dc520a4949a519cb4bc5372dd64191439c..ed4c94dd38015e5088bef4ab519c4ca1f5c42f85 100644 (file)
--- a/daemon/cmdlistener.rs
+++ b/daemon/cmdlistener.rs
@@ -443,6 +443,7 @@ fn execute_game_insn<'cs, 'igr, 'ig: 'igr>(
       let gen = buf.gen();
       drop(buf); // does updatenocc
       // we handled the update ourselves, return no update info
+      ig.save_game_now()?;
       no_updates(ig, MGR::Synch(gen))
     },