Hi John,

> Sorry, IMO that's still incorrect...
> 
> If 'dir' is a directory then the behavior is as I noted.  If 'dir' is
> actually a file *then* the behavior that you mention would be correct.
> 
> This behavior is obvious (Principle of Least Surprise) if one mimics
> the behavior by actually trying these out in a shell and move around a
> filesystem. :-)

The output is consistent with the URI spec but I understand that this is not
the one you naturally expect if "dir" is indeed a directory. 

However, when using the Directory class, this case never happens because we
always redirect URIs like "/root/dir" to "/root/dir/" when we detect that
"dir" corresponds to a directory on the file system. 

I hope this sounds reasonable!

Best regards,
Jerome  

Reply via email to