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

Re: HTTPResource.delete()

From: Anselm Baird_Smith <abaird@www43.inria.fr>
Date: Fri, 18 Apr 1997 08:55:06 +0200 (MET DST)
Message-Id: <199704180655.IAA17423@www43.inria.fr>
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 )

// This fix was in fact provided to me sometime ago by Joel C.

Received on Friday, 18 April 1997 02:55:25 UTC

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