01: // IndexersCatalog.java
02: // $Id: IndexersCatalog.java,v 1.5 2002/06/26 17:26:03 ylafon Exp $
03: // (c) COPYRIGHT MIT and INRIA, 1997.
04: // Please first read the full copyright statement in file COPYRIGHT.html
05:
06: package org.w3c.tools.resources.indexer;
07:
08: import java.io.File;
09:
10: import org.w3c.tools.resources.ExternalContainer;
11: import org.w3c.tools.resources.ResourceContext;
12: import org.w3c.tools.resources.ServerInterface;
13:
14: public class IndexersCatalog extends ExternalContainer {
15:
16: public File getRepository(ResourceContext context) {
17: return new File(context.getServer().getIndexerDirectory(),
18: "idx.db");
19: }
20:
21: public IndexersCatalog(ResourceContext context) {
22: super ("indexers".intern(), context, true);
23: }
24:
25: }
|