misc: background_worker: rename EndTask
commit1c994eb2c0b07445d37963c16f0686e6fdc3745f
authorThomas Guillem <thomas@gllm.fr>
Mon, 20 Aug 2018 12:11:52 +0000 (20 14:11 +0200)
committerThomas Guillem <thomas@gllm.fr>
Mon, 20 Aug 2018 12:11:52 +0000 (20 14:11 +0200)
treefb766d739a92533ea00d4e2b83ff46b19fb46130
parent92d77f088ddefc6adad2f0f07ef32088e8161226
misc: background_worker: rename EndTask

Fix Windows build (conflict with EndTask).
src/misc/background_worker.c