Pascal MERCIER - 2009-10-13

Would be useful for any index based on WebCrawler or FileCrawler. But if the user created an empty index ?