]> git.ipfire.org Git - thirdparty/bind9.git/commitdiff
Merge branch 'wpk/fix-taskmgr-pause-unpause-detach-race' into 'master'
authorWitold Krecicki <wpk@isc.org>
Tue, 21 Jan 2020 10:04:07 +0000 (10:04 +0000)
committerWitold Krecicki <wpk@isc.org>
Tue, 21 Jan 2020 10:04:07 +0000 (10:04 +0000)
Fix a race in taskmgr between worker and task pausing/unpausing.

Closes #1571

See merge request isc-projects/bind9!2918


Trivial merge