I have a question about what to print if we don't have read permission after appending /index.html to the URI.  Suppose the server receives the request "GET /foo HTTP/1.0" and successfully resolves the request by appending /index.html to the URI.  If we don't have read permission for this file, should the response be
<br><br>HTTP/1.0 403 Forbidden: /foo<br><br>or<br><br>HTTP/1.0 403 Forbidden: /foo/index.html<br><br>Thanks,<br>Allen<br>