From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 6 Dec 2020 01:18:12 +0000 (+0000)
Subject: formatting, some from rustfmt (manually picked)
X-Git-Tag: otter-0.2.0~237
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=3662684cea15e805e0365a68e4d581ee7ba095fa;p=otter.git

formatting, some from rustfmt (manually picked)

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

diff --git a/src/global.rs b/src/global.rs
index b66b9953..bb4389df 100644
--- a/src/global.rs
+++ b/src/global.rs
@@ -1284,7 +1284,7 @@ pub fn game_flush_task() {
       match ig.save_game_now() {
         Ok(_) => {
           assert!(!ig.c.game_dirty);
-        },
+        }
         Err(e) => {
           // todo: notify the players
           error!("save error! name={:?}: {}", &ig.name, &e);