From 5b3fae3c4668064a9f935c9f1d6df2a3b27250ee Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sun, 23 Aug 2020 11:24:31 +0100 Subject: [PATCH] commentary --- src/global.rs | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/src/global.rs b/src/global.rs index fe597be2..7212cb8c 100644 --- a/src/global.rs +++ b/src/global.rs @@ -46,6 +46,15 @@ pub struct Client { pub lastseen : Instant, } +/// KINDS OF PERSISTENT STATE +/// +/// TokenTable TokenTable GameState GameState +/// .players .pieces +/// +/// Saved No a-* g-* g-* +/// Spec TOML Absent table, ish table game +/// +/// /// UPDATE RELIABILITY/PERSISTENCE RULES /// /// From the caller's point of view @@ -66,7 +75,7 @@ pub struct Client { /// * Players /// /// All of the above, except clients, are persistent, in the sense -/// that a server restart will preserve them. +/// that a server restart will preserve them. See above. /// /// The general code gets mutable access to the GameState. We offer /// post-hoc saving of a modified game. This should not be used for -- 2.30.2