directory indexing

I could not get my directories indexed. File .jigidx is not created.
And , running the following from root directory ( see nice trick mail)
gives
cmt{Jigsaw/WWW}247 : java w3c.jigsaw.resources.SimpleResourceStore
.jigidx
w3c.jigsaw.resources.AttributeHolderInitException: implementation bug.
	at w3c.jigsaw.resources.DirectoryResource.initialize(DirectoryResource.java)
	at w3c.jigsaw.resources.AttributeHolder.unpickleInstance(AttributeHolder.java)
	at w3c.jigsaw.resources.FilteredResource.unpickleInstance(FilteredResource.java)
	at w3c.jigsaw.resources.AttributeHolder.unpickle(AttributeHolder.java)
	at w3c.jigsaw.resources.ResourceIndex.loadResource(SimpleResourceStore.java)
	at w3c.jigsaw.resources.SimpleResourceStore.loadResource(SimpleResourceStore.java)
	at w3c.jigsaw.resources.SimpleResourceStore.main(SimpleResourceStore.java)
java.lang.RuntimeException: Unable to restore Admin in .jigidx
	at w3c.jigsaw.resources.SimpleResourceStore.loadResource(SimpleResourceStore.java)
	at w3c.jigsaw.resources.SimpleResourceStore.main(SimpleResourceStore.java)
-- 
Mark Lubin
mil@phys.physics.ucf.edu

Received on Wednesday, 3 July 1996 22:29:52 UTC