chiark / gitweb /
progress: Make ProgressMode come from MgmtChannel
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 17 May 2021 13:22:25 +0000 (14:22 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 17 May 2021 14:00:29 +0000 (15:00 +0100)
commit37aee5c1e98f7fa5d84f8a1f4bd31655e76ac2ae
tree12681760d3565efe9747ecb7ecc3d94b346f9ae5
parent90d098ff74856bf5845de825cb85af3cff7ca6a1
progress: Make ProgressMode come from MgmtChannel

That's where the implementation (and any restrictions) come from.

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