chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b27cf1) | patch
cmd updates: Restart updates when insert follows delete (properly)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 31 Mar 2021 18:46:20 +0000 (19:46 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 1 Apr 2021 10:37:58 +0000 (11:37 +0100)
commita366aefeb9453e60c0ccd8bbfcf6a3c22e17dc65
tree46b8c945e3428b53d6ad764c1ab825e2fe41da19tree | snapshot
parent9b27cf1e5013b9a920548fa353c522d4feccf4b1commit | diff
cmd updates: Restart updates when insert follows delete (properly)

We do this prospectively, when we see AddPieces but before it has been
processed.  This means execute_for_game has special knowledge of
particular commands - oh well.

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