Refactor pipes between isolate and the parent process#44

gollux wants to merge 1 commit intoReCodEx:masterReCodEx/worker:masterfrom

gollux:isolate-logginggollux/recodex-worker:isolate-loggingCopy head branch name to clipboard