4cda42fdd0
flushes stdout before returning. Previously the decoded output for a message was stuck in stdio buffers until the next arrived.