chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe355b3) | patch
commands etc.: Delete old aliases when resetting the game
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 25 Mar 2021 18:44:05 +0000 (18:44 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 25 Mar 2021 19:20:16 +0000 (19:20 +0000)
commit16ba7bfbbb59169f11de5c89416c405bcaade357
tree172f0ccfc6e99e64329fbc0982beae365aa79146tree | snapshot
parentfe355b346cede5505012d3836b9f410146a15f7ccommit | diff
commands etc.: Delete old aliases when resetting the game

 * Make ListPieces return the aliases too (changing its ABI)
 * Make list_pieces return the aliases too, so we make sure we
   don't miss any
 * Actually delete old aliases in the game reset in otter(1)

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