chiark / gitweb /
formatting, some from rustfmt (manually picked)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 6 Dec 2020 01:18:12 +0000 (01:18 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 6 Dec 2020 01:18:12 +0000 (01:18 +0000)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/global.rs

index b66b995342f0e5a29d051097e0f5161fa7c777d3..bb4389df7fe404a4c8deea96ae64c51ed4c47fad 100644 (file)
@@ -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);