W3C home > Mailing lists > Public > www-jigsaw@w3.org > March to April 1997


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

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

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:41:22 UTC