Re: [PATCH] worker: flush ui buffers before running the worker

2017-03-29 Thread Yuya Nishihara
On Tue, 28 Mar 2017 10:22:18 -0700, David Soria Parra wrote: > # HG changeset patch > # User David Soria Parra > # Date 1490721698 25200 > # Tue Mar 28 10:21:38 2017 -0700 > # Node ID b89199982355728a3741edf5518c72ccc52ee33c > # Parent 331cc4433efe0d897bb16ad4ff08a3fbe850869b > worker: flush

Re: [PATCH] worker: flush ui buffers before running the worker

2017-03-28 Thread Ryan McElroy
On 3/28/17 6:22 PM, David Soria Parra wrote: # HG changeset patch # User David Soria Parra # Date 1490721698 25200 # Tue Mar 28 10:21:38 2017 -0700 # Node ID b89199982355728a3741edf5518c72ccc52ee33c # Parent 331cc4433efe0d897bb16ad4ff08a3fbe850869b worker: flush ui buffers before running t

[PATCH] worker: flush ui buffers before running the worker

2017-03-28 Thread David Soria Parra
# HG changeset patch # User David Soria Parra # Date 1490721698 25200 # Tue Mar 28 10:21:38 2017 -0700 # Node ID b89199982355728a3741edf5518c72ccc52ee33c # Parent 331cc4433efe0d897bb16ad4ff08a3fbe850869b worker: flush ui buffers before running the worker a91c6275 introduces flushing ui buff