--- /dev/null
+// IndexersCatalog.java\r
+// $Id: IndexersCatalog.java,v 1.1 2010/06/15 12:28:02 smhuang Exp $ \r
+// (c) COPYRIGHT MIT and INRIA, 1997.\r
+// Please first read the full copyright statement in file COPYRIGHT.html\r
+\r
+package org.w3c.tools.resources.indexer;\r
+\r
+import java.io.File;\r
+\r
+import org.w3c.tools.resources.ExternalContainer;\r
+import org.w3c.tools.resources.ResourceContext;\r
+import org.w3c.tools.resources.ServerInterface;\r
+\r
+public class IndexersCatalog extends ExternalContainer { \r
+\r
+ public File getRepository(ResourceContext context) {\r
+ return new File(context.getServer().getIndexerDirectory(),\r
+ "idx.db");\r
+ }\r
+\r
+ public IndexersCatalog(ResourceContext context) {\r
+ super("indexers".intern(), context, true);\r
+ }\r
+\r
+}\r
+\r
+\r