> On 11 Sep 2016, at 18:01, Stefan Beller <sbel...@google.com> wrote:
> On Sun, Sep 11, 2016 at 4:36 AM, Lars Schneider
> <larsxschnei...@gmail.com> wrote:
>>> call check_pipe from write_or_die here instead of
>>> reproducing that function?
>> Maybe it would be more suitable to move check_pipe to
> That's certainly possible.
> I don't have a strong opinion, where the code actually
> resides, but I do have a strong-ish opinion on code
> duplication. ;)
OK, then I will move check_pipe() to run-command.