chiark / gitweb /
send updates for player add/remove
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 28 Nov 2020 11:49:26 +0000 (11:49 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 28 Nov 2020 11:49:26 +0000 (11:49 +0000)
commit35c7703438a25b29c81736920bc26c3f25d299c0
tree3c680ea244f9ba805f51f1cd8a6c9c9f1737bf34
parent06589b1b2b243f84e90452949a0f9046d662ff85
send updates for player add/remove

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/cmdlistener.rs
src/global.rs
src/imports.rs
src/session.rs
src/updates.rs