185186187188189190191192193194195
} void pauseScan() { final IWebCrawler crawler = currentCrawler; if(crawler != null) { crawler.pause(); scanInstance.notifyScanPauseState(true); } } void unpauseScan() {