From a4ceb8a909a0d0928302fdb7838acb3fbd153e61 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 13 Jun 2022 00:03:12 +0100
Subject: [PATCH] Send an info pane update when a player changes their nick

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

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)
     },
 
-- 
2.30.2