J-N-K a44f7f17cc
[exec] improve logging and documentation (#9282)
* explain usage of input channel
* fix wording

Signed-off-by: Jan N. Klug <jan.n.klug@rub.de>
2020-12-07 12:23:11 -08:00
..