chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e334bc) | patch
Rename SetPlayer to AddPlayer
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 12 Jun 2022 22:49:48 +0000 (23:49 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 12 Jun 2022 23:08:16 +0000 (00:08 +0100)
commit534a86c74d4976824e65fd302745ad81990849bd
tree600885eb1867f5b8d34fa9c8ee38acbb207282f6tree | snapshot
parent1e334bc28c57f11be83701c5352a73787bc4918ecommit | diff
Rename SetPlayer to AddPlayer

The JS code can handle this as an update to a new player or as an
update to an existing one.

We're going to send this update when a player nick changes.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/global.rs diff | blob | history
src/updates.rs diff | blob | history
templates/script.ts diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.