tree 352c05555febad3f57f934f44c4a4abc22e73db2
parent 251b09d4c791c15ef6773f1f6ce4f2b0ff6c0578
author Han-Wen Nienhuys <hanwen@google.com> 1475165426 +0200
committer Han-Wen Nienhuys <hanwen@google.com> 1475573079 +0200

Fix data race in MultiProgressMonitor.

Access to Task.count should be synchronized.

Change-Id: I1cedac1f747e5d35ba044fd0557d6a03723f7b09