HTTPResource.delete()

• From: Anselm Baird_Smith <abaird@www43.inria.fr>
• Date: Thu, 17 Apr 1997 09:24:13 +0200 (MET DST)
• To: Eric M Knell <knell@ncsa.uiuc.edu>
• Cc: www-jigsaw@w3.org
• Message-Id: <199704170724.JAA08744@www43.inria.fr>

Eric M. Knell writes:
 > Anselm,
 > 
 > Is there a reason that HTTPResource.delete() casts its call to getParent() 
 > to DirectoryResource instead of ContainerResource?   The function doesn't 
 > seem to do anything particular to directories.  Should this be changed?

I just changed it to:

	    if ( p instanceof DirectoryResource ) {
		DirectoryResource d = (DirectoryResource) p;
		if ( d.getExtensibleFlag() ) {
		    // The resource is indexed but has no file, emit an error
		    String msg = file+": deleted, removing the FileResource.";
		    getServer().errlog(this, msg);
		    delete();
		}
	    }

Note that this is a work-around to having the"extensible" flag only on
DirectoryResource (rather then at the COntainer level)

Anselm

Received on Thursday, 17 April 1997 03:24:53 UTC