From 94a75e013a7a15b6717d4b183a9177502bb4898c Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 22 Aug 2020 23:22:07 +0100
Subject: [PATCH] save game after executing

---
 src/cmdlistener.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/cmdlistener.rs b/src/cmdlistener.rs
index e5e26937..d6d26922 100644
--- a/src/cmdlistener.rs
+++ b/src/cmdlistener.rs
@@ -282,6 +282,7 @@ fn execute_for_game(cs: &CommandStream, ig: &mut InstanceGuard,
     uh.complete(cs,ig)?;
     Ok(None)
   })();
+  ig.save_game_now()?;
   MgmtResponse::AlterGame {
     responses,
     error: ok.unwrap_or_else(Some)
-- 
2.30.2