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.eduReceived on Wednesday, 16 April 1997 17:15:18 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 9 April 2012 12:13:26 GMT