HTTPResource.delete()

• From: Eric M Knell <knell@ncsa.uiuc.edu>
• Date: Wed, 16 Apr 1997 16:15:14 -0500 (CDT)
• To: www-jigsaw@w3.org
• Message-ID: <Pine.SUN.3.91.970416160655.23690A-100000@void>

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?

Eric


Eric Knell
Software Development Division
National Center for Supercomputing Applications
knell@uiuc.edu

Received on Wednesday, 16 April 1997 17:15:18 UTC