182183184185186187188189190191192
WebServer server = null; Crawler crawler = null; try { server = new WebServer(8085); server.addResourceHandler("/", tmpDir+"/web"); server.start(); PageDB db = new PageDB(tmpDir+"/testdb"); db.open(PageDB.WRITE); db.addPage(in); db.close();
259260261262263264265266267268269
in.setUrl(url); try { server = new WebServer(8087); server.addResourceHandler("/", tmpDir+"/web"); server.start(); PageDB db = new PageDB(tmpDir+"/testdb"); db.open(PageDB.WRITE); db.addPage(in); db.close();
90919293949596979899100
} // Start the web server WebServer server = new WebServer(8086); server.addResourceHandler("/", tmpDir+"/web"); server.start(); // Run the fetcher FetchData fetchdata = fetcher.fetch(fetchlist); // Stop the web server