W3C home > Mailing lists > Public > www-jigsaw@w3.org > July to August 1997

Problems with /Admin/Directories/Add+directory

From: Walter Eaves <Walter.Eaves@brunel.ac.uk>
Date: Tue, 08 Jul 1997 23:47:37 +0100
Message-ID: <33C2C389.6921@brunel.ac.uk>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 9 April 2012 12:13:26 GMT