chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 76f857c) | patch
get indices right
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 22 Aug 2020 22:28:54 +0000 (23:28 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 22 Aug 2020 22:29:06 +0000 (23:29 +0100)
commit52a217012abd072b9cd91890a339274a91a543ca
tree8065a436b7ededafbb34ac72efed91a31ae1abb0tree | snapshot
parent76f857ca4604cf8d6c3de94c409cbb68d788fd0ecommit | diff
get indices right

Now

target/debug/server ~ian/Rustup/Game/server/server.toml

rm ~ian/Rustup/Game/server/save/*foo*; USER=rustcargo target/debug/otter --scope-server reset foo`date +%s` --reset-table ~ian/Rustup/Game/server/demo/test.{table,game}.toml

diff -u <(./msgpack-dump save/g-dummy ) <( ./msgpack-dump save/g-foo* ) |less

shows differences I entirely like
src/cmdlistener.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.