HTTPResource.delete()

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