193194195196197198199200201202203
} void unpauseScan() { final IWebCrawler crawler = currentCrawler; if(crawler != null) { crawler.unpause(); scanInstance.notifyScanPauseState(false); } } boolean isPaused() {