chiark / gitweb /
otter cli: Change defaulting order of server and account
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 2 Jun 2021 18:03:59 +0000 (19:03 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 2 Jun 2021 18:04:54 +0000 (19:04 +0100)
commit2327a7a17bc7dd7b23f44611c62aded330c4bb0c
treef9819862fc4f2a573f64e51939b8b1f947c39cd2
parent6f69e2c0b7a126344bdd5048867e9b7076d92233
otter cli: Change defaulting order of server and account

We're going to need the server to decide the account.

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