Fixes issue with webservice crawl API
Merge pull request #1310 from emmanuel-keller/1.5

Fixes issue with webservice crawl API