}.start();
*/
// load the robots.txt db
this.log.logConfig("Initializing robots.txt DB");
this.robots = new RobotsTxt(this.tables.getHeap(WorkTables.TABLE_ROBOTS_NAME));
this.log.logConfig("Loaded robots.txt DB: " + this.robots.size() + " entries");
// start a cache manager
this.log.logConfig("Starting HT Cache Manager");