chiark / gitweb /
otter cli: mgmtchannel-proxy: Exit 0 on command EOF too
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 1 Jun 2021 19:32:31 +0000 (20:32 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 1 Jun 2021 19:43:42 +0000 (20:43 +0100)
commit0df65e7ab21c060d0a1fe4151b67d68760edb29b
tree11dfd7c146ce05e19cd4ea34ba4c0aa9b34240ef
parent3127c3bf7679e1af537087c9f51a3b854aea1023
otter cli: mgmtchannel-proxy: Exit 0 on command EOF too

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