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 c30840ac142060ae94a810566667f790df2bd062..e99550aa2556a1b6ad40ba6def284df57d14aa0c 100644 (file)
--- 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)
     },