From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 12 Jun 2022 23:03:12 +0000 (+0100)
Subject: Send an info pane update when a player changes their nick
X-Git-Tag: otter-1.2.0~31
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=a4ceb8a909a0d0928302fdb7838acb3fbd153e61;p=otter.git

Send an info pane update when a player changes their nick

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

diff --git a/daemon/cmdlistener.rs b/daemon/cmdlistener.rs
index c30840ac..e99550aa 100644
--- a/daemon/cmdlistener.rs
+++ b/daemon/cmdlistener.rs
@@ -887,9 +887,11 @@ fn execute_game_insn<'cs, 'igr, 'ig: 'igr>(
         });
         gpl.nick = new_nick;
       }
+      let update = ig.prepare_set_player_update(player)?;
+
       (U{ log,
           pcs: vec![],
-          raw: None},
+          raw: Some(vec![update])},
        Fine, default(), vec![], ig)
     },