chiark / gitweb /
hidden: Pass PlayerId to new APIs
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 31 Jan 2021 15:26:14 +0000 (15:26 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 31 Jan 2021 22:29:13 +0000 (22:29 +0000)
commit5b4c60cf82f640cc62821ab8df6909e69989ee81
treec0bfdc0b3cedbb8e4b3cfdd9cbfbca2a9a8fc113
parent17628683657e2f48b9b1f70d28a02612038b44cf
hidden: Pass PlayerId to new APIs

We want this for debug logging right now, but we'll surely want it for
actual processing when we implement all this.

NFC.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
daemon/api.rs
daemon/session.rs
src/hidden.rs
src/updates.rs