diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-06-25T19·57+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2019-06-25T19·59+0200 |
| commit | 324a5dc92f8e50e6b637c5e67dea48c80be10837 (patch) | |
| tree | 88f14b074294d6f2af26e02e1a33bb6f40442dd7 /release-common.nix | |
| parent | 88571219d97f2bdfdbafcff25ef6ee424b0b008f (diff) | |
ProgressBar: Fix updating
'updateCV.notify_one()' does nothing if the update thread is not waiting for updateCV (in particular this happens when it is sleeping on quitCV). So also set a variable to ensure that the update isn't lost.
Diffstat (limited to 'release-common.nix')
0 files changed, 0 insertions, 0 deletions