Michael Peter Christen 8b1c9cba3d fixed a problem with non-terminating crawls		2012-11-07 15:05: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	bugfixes for crawler	2012-11-07 12:52:19 +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	fixed a problem with non-terminating crawls	2012-11-07 15:05:44 +01:00