Having set to monitor a crawl every 30 seconds to restart if not activity takes place.
This function does not appear to work - since the crawl does not refresh every 30 seconds and simply extends for considerable periods.
I have used the free on line tool and this same issue on the same crawl works just fine on the on line generator.
The only way to get the crawl moving again is to manually reload the browsers page and only then does it work.