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

Fixes deadlock when stopping the WEB crawler using the API