From 097630952e34e7eeb5224902bdaa4559c158abe0 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 5 Apr 2021 12:14:44 +0100
Subject: [PATCH] cmdlistener: Synch: Make it save the game

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 daemon/cmdlistener.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/daemon/cmdlistener.rs b/daemon/cmdlistener.rs
index 76baf1dc..ed4c94dd 100644
--- 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))
     },
 
-- 
2.30.2