chiark / gitweb /
commentary
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 23 Aug 2020 10:24:31 +0000 (11:24 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 23 Aug 2020 10:24:31 +0000 (11:24 +0100)
src/global.rs

index fe597be2e3dc5694757ebbccaeb67fdd4c55123f..7212cb8cc9172efcd4a9cad68e8fc0a6a983cca6 100644 (file)
@@ -46,6 +46,15 @@ pub struct Client {
   pub lastseen : Instant,
 }
 
+/// KINDS OF PERSISTENT STATE
+///
+///               TokenTable   TokenTable    GameState    GameState
+///                <ClientId>   <PlayerId>    .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