Fixes deadlock when stopping the WEB crawler using the API
Merge pull request #33 from emmanuel-keller/master

Fixes deadlock when stopping the WEB crawler using the API