- From: Frederic Crozat ISIMA <crozat@opgc16.univ-bpclermont.fr>
- Date: Mon, 1 Sep 1997 18:37:41 +0200
- To: www-jigsaw@w3.org
Hi, I've installed the new beta1 version of Jigsaw and I have a problem with the Admin directory the extension editor has been replaced by indexer (in Admin) but the ExtensionEditor classe isn't include in the classes.zip from jigsaw (BTW, in the documentation, it is supposed to be named jigsaw.zip but in the archive, it is named classes.zip) I've tried to compile the ExtensionsEditor.java file but I receive error : ExtensionsEditor.java:23: Method save() not found in interface w3c.jigsaw.indexe r.ResourceIndexer. indexer.save() ; ^ ExtensionsEditor.java:56: Method registerExtension(w3c.jigsaw.resources.HTTPReso urce) not found in interface w3c.jigsaw.indexer.ResourceIndexer. indexer.registerExtension(ext) ; ^ ExtensionsEditor.java:88: Method enumerateExtensionNames() not found in interface w3c.jigsaw.indexer.ResourceIndexer. Enumeration enum = indexer.enumerateExtensionNames() ; ^ ExtensionsEditor.java:127: Method unregisterExtension(java.lang.String) not found in interface w3c.jigsaw.indexer.ResourceIndexer. indexer.unregisterExtension(id) ; ^ ExtensionsEditor.java:203: Method loadExtension(java.lang.String) not found in interface w3c.jigsaw.indexer.ResourceIndexer. HTTPResource target = (HTTPResource) indexer.loadExtension(name); ^ ExtensionsEditor.java:231: Method getIndexer() not found in class w3c.jigsaw.htt p.httpd. this.indexer = getServer().getIndexer() ; ^ And if I check the ResourceIndexer.java file, the Interface ResourceIndexer doesn't provide any of those methods !! Any idea ? Thanks in advance Frederic Crozat Observatoire de Physique du Globe de Clermont-Ferrand crozat@opgc.univ-bpclermont.fr
Received on Monday, 1 September 1997 12:37:31 UTC