diff options
author | fanquake <fanquake@gmail.com> | 2020-06-04 21:28:22 +0800 |
---|---|---|
committer | fanquake <fanquake@gmail.com> | 2020-06-04 21:45:26 +0800 |
commit | 584170a3888e1c55be00bdf2c8224ad342d24656 (patch) | |
tree | b5243a5507a27abc5e06003f5cb4c3d7b6d5a065 /src/util | |
parent | 76e64525ff38eaedccf8c2b847eccfffb69be27f (diff) | |
parent | fa3b4f9b8e54ec07aeb2e5e2333da3e784f7be12 (diff) |
Merge #19142: validation: Make VerifyDB level 4 interruptible
fa3b4f9b8e54ec07aeb2e5e2333da3e784f7be12 validation: Make VerifyDB level 4 interruptible (MarcoFalke)
fa1d5800d9c5e33942b76f6667839a818723dee9 validation: Remove unused boost interruption_point (MarcoFalke)
Pull request description:
level 0,1,2, and 3 are already interruptible, so make level 4 also interruptible
ACKs for top commit:
laanwj:
Code review ACK fa3b4f9b8e54ec07aeb2e5e2333da3e784f7be12
fanquake:
ACK fa3b4f9b8e54ec07aeb2e5e2333da3e784f7be12
Tree-SHA512: d302c84a17add1b5993dd78339c88670d27eee45ce208c4d046ae188b50be9843ee5a9584739d5d25453b54ae08fd1cb6eeee8cb1307d84c05cde8a54a7c445b
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions