dirResource = (DirectoryResource) getDirResourceRef().lock();
if (dirResource == null)
throw new ResourceException("parent is NOT a "+
"DirectoryResource. ("+
resource.getIdentifier()+")");
if (! dirResource.verify()) {
// the directory was deleted, but we can't delete it here
// (Multiple Locks)
// Emit an error back:
Reply error = request.makeReply(HTTP.NOT_FOUND) ;
error.setContent ("<h1>Document not found</h1>"+