- From: Walter Eaves <Walter.Eaves@brunel.ac.uk>
- Date: Tue, 08 Jul 1997 23:47:37 +0100
- To: www-jigsaw@w3.org
Hi,
I put the trace on and it turned out to be a problem with
getResourceStore(). I pathced it with this:
ResourceStore st = getResourceStore();
if ( st == null) {
for (Enumeration e1 =
getServer().getIndexer().enumerateDirectoryNames();
e1.hasMoreElements(); ) {
Directory t =
getServer().getIndexer().loadDirectory((String
)e1.nextElement());
st = t.getResourceStore();
if (st != null) break;
}
}
defs.put("resource-store", st);
--
Walter Eaves
Walter.Eaves@brunel.ac.uk
Aidan Project at Brunel University
http://http1.brunel.ac.uk:8080/research/hci
Received on Tuesday, 8 July 1997 18:47:48 UTC