Ah duh, hadn't thought of that. Same pipe trick, but with another thread blocking on the read end. That is a much simpler change than refactoring the main thr

Ah duh, hadn't thought of that. Same pipe trick, but with another thread blocking on the read end. That is a much simpler change than refactoring the main thread to poll on several FDs instead of just blocking in recv().