Michael Peter Christen 158732af37 automatically delete entries from the crawl profile list if crawl is ... terminated.		2012-11-07 02:03:44 +01:00
..
data	added the visualization of error-urls to host browser	2012-11-06 00:29:37 +01:00
retrieval	in case that a crawl profile has a collection assigned, use the	2012-10-31 14:08:33 +01:00
robots	enhaced data structures for balancer and latency computation which	2012-10-30 17:30:24 +01:00
Balancer.java	update to HostBrowser:	2012-11-02 13:57:43 +01:00
CrawlStacker.java	in case that a crawl profile has a collection assigned, use the	2012-10-31 14:08:33 +01:00
CrawlSwitchboard.java	automatically delete entries from the crawl profile list if crawl is	2012-11-07 02:03:44 +01:00