@kyllingstad It was my fault really. I simply didn't call wait() or waitpid() anywhere after invoking pipeProcess(). I should have examined execute() or something.

The example line I'm commenting should probably include a call to wait(). It is slightly misleading this way.