- From: Anselm Baird_Smith <abaird@www43.inria.fr>
- Date: Fri, 18 Apr 1997 08:55:06 +0200 (MET DST)
- To: Eric M Knell <knell@ncsa.uiuc.edu>
- Cc: www-jigsaw@w3.org
Eric M. Knell writes:
>
> 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?
Sorry, got the wrong place (btw the fix is still valid for
FileResource though, I guess)
/**
* Delete this resource and notifies its container.
*/
public synchronized void delete() {
ContainerResource parent = (ContainerResource) getParent();
if ( parent != null )
parent.markModified();
super.delete();
}
// This fix was in fact provided to me sometime ago by Joel C.
Anselm.
Received on Friday, 18 April 1997 02:55:25 UTC