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

directory indexing

From: Mark I. Lubin <mil@phys.physics.ucf.edu>
Date: Thu, 04 Jul 1996 14:26:06 -0500
Message-Id: <31DC1ACE.2BFB@phys.physics.ucf.edu>
To: www-jigsaw@w3.org
That's the story with the indexing of directories. First, I got
indexing Ok following the documentation. Then I found that all
resources in the directory do not disappear after I physically
removed them from the disk ( I mean just simple files here). Thanks to
the mailing list I found that it is because of alpha status of
Jigsaw and for now I have to delete file .jigsaw manually to get
rid of old stuff.  OK, I did it.  But then I could not get 
any .jigsaw back even I hit 10 times button OK in corresponding
form.  After a lot of trial and error I found that is because of
Netscape's cache,  so if you use as a browser netscape you have to
frequently flash cache. Well,  after that I thought that I 
learned something but then I found  that  some resources are not
indexing right anyway even I flash Netscape's cache and push 
button OK in corresponding form or even restart Jigsaw.

For instance:

 1)

cmt{WWW/Admin}80 : !j
java w3c.jigsaw.resources.SimpleResourceStore .jigidx
Threads:
identifier=Threads
resource-store=/dopey/mil/Jigsaw/Jigsaw/WWW/Admin/.jigidx
last-modified=833408403118
icon=burst.gif
Editor:
identifier=Editor
resource-store=/dopey/mil/Jigsaw/Jigsaw/WWW/Admin/.jigidx
last-modified=833408256529
icon=burst.gif
maxage=0
Statistics:
identifier=Statistics
resource-store=/dopey/mil/Jigsaw/Jigsaw/WWW/Admin/.jigidx
last-modified=833408384124
icon=world1.gif
Exit:
identifier=Exit
resource-store=/dopey/mil/Jigsaw/Jigsaw/WWW/Admin/.jigidx
last-modified=833408289969
icon=bomb.gif
maxage=0
java.lang.NullPointerException
	at w3c.jigsaw.config.FormPropertiesEditor.initialize(FormPropertiesEditor.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 PropertiesEditor in
.jigidx
	at w3c.jigsaw.resources.SimpleResourceStore.loadResource(SimpleResourceStore.java)
	at w3c.jigsaw.resources.SimpleResourceStore.main(SimpleResourceStore.java)


OR 2)

cmt{WWW/Mil}85 : !j
java w3c.jigsaw.resources.SimpleResourceStore .jigidx
curriculum_vitae.html:
identifier=curriculum_vitae.html
resource-store=/dopey/mil/Jigsaw/Jigsaw/WWW/Mil/.jigidx
content-type=text/html
content-length=6820
last-modified=836145537000
icon=file.gif
putable=false
emailForm.html:
identifier=emailForm.html
resource-store=/dopey/mil/Jigsaw/Jigsaw/WWW/Mil/.jigidx
content-type=text/html
content-length=1807
last-modified=835380783000
icon=file.gif
putable=false
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 images 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 Thursday, 4 July 1996 15:21:15 GMT

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