private void StopCrawl() { if (m_CrawlStopped) { return; } m_CrawlStopped = true; m_TaskRunner.CancelAll(); }