- 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
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 UTC