chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d17da1b) | patch
progress: Introduce ProgressMode
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 17 May 2021 10:36:37 +0000 (11:36 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 17 May 2021 14:00:29 +0000 (15:00 +0100)
commit90d098ff74856bf5845de825cb85af3cff7ca6a1
tree291089257ae4f89d77101099e70dac7db8e84e87tree | snapshot
parentd17da1bc9e1b72cf5cf6d540a5c3bb6796ce7324commit | diff
progress: Introduce ProgressMode

This allows progress reports to be disabled entirely.

But overall, no functional change.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
daemon/cmdlistener.rs diff | blob | history
src/bin/otter.rs diff | blob | history
src/bundles.rs diff | blob | history
src/commands.rs diff | blob | history
src/prelude.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.