chiark / gitweb /
specs: Plumb InstanceName through to TablePlayerSpec::account_glob
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 28 Apr 2021 17:01:34 +0000 (18:01 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 28 Apr 2021 17:01:34 +0000 (18:01 +0100)
commit1aa6869b4e0303c95e58595ada6613980e87f6a4
tree4e4a085f2314b19b6e91b4da5cb8381a16c49680
parent4e7769cfdf7b2460602d9a3b736c18fa4ade4c21
specs: Plumb InstanceName through to TablePlayerSpec::account_glob

This makes it possible for the meaning of a TablePlayerSpec to be
"local" relative to the instance name.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/bin/otter.rs
src/spec.rs