210211212213214215216217218219220
} finally { if (null != crawler) { crawler.cleanup(); } server.requestStop(); while (! server.isStopped()) { Execute.sleep(20); } }
282283284285286287288289290291292
db.close(); } finally { if (null != crawler) { crawler.cleanup(); } server.requestStop(); while (!server.isStopped()) { Execute.sleep(20); } }
96979899100101102103104105106
// Run the fetcher FetchData fetchdata = fetcher.fetch(fetchlist); // Stop the web server server.requestStop(); for ( int i = 0; i < 100; i++) { if (server.isStopped()) break; com.flaptor.util.Execute.sleep(1000); }