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

Re: HTTPResource.delete()

From: Eric M Knell <knell@ncsa.uiuc.edu>
Date: Thu, 17 Apr 1997 18:20:32 -0500 (CDT)
To: Anselm Baird-Smith <abaird@w3.org>
cc: www-jigsaw@w3.org
Message-ID: <Pine.SUN.3.91.970417181633.29857B-100000@void>

Huh?  I'm a bit confused about how that fits into 
HTTPResource.delete().  It looks a lot more like something that would go 
into FileResource.  I was referring to HTTPResource lines 657-662, 
HTTPResource.delete().  Or did I just misunderstand your response?

Eric

On Thu, 17 Apr 1997, Anselm Baird_Smith wrote:

> 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 19:20:37 GMT

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