diff CONTRIBUTORS @ 31701:9d3d56aa1a9f

worker: flush ui buffers before running the worker a91c6275 introduces flushing ui buffers after a worker finished. If the ui was not flushed before the worker was started, fork will copy the existing buffers to the worker. This causes messages issued before the worker started to be written to the terminal for each worker. We are now flushing the ui before we start a worker and add an appropriate test which will fail before this patch.
author David Soria Parra <davidsp@fb.com>
date Tue, 28 Mar 2017 10:21:38 -0700
parents c29efd272395
children
line wrap: on
line diff