-/* $Id: httpd.js,v 1.22 2005/07/07 05:40:41 mmondor Exp $ */
+/* $Id: httpd.js,v 1.23 2005/07/07 07:07:32 mmondor Exp $ */
/*
* Copyright (c) 2005, Matthew Mondor
* Server identification
*/
SERVER_VERSION = 'mmondor_js_httpd/0.0.1 (NetBSD)';
-SERVER_CVSID = '$Id: httpd.js,v 1.22 2005/07/07 05:40:41 mmondor Exp $';
+SERVER_CVSID = '$Id: httpd.js,v 1.23 2005/07/07 07:07:32 mmondor Exp $';
* Is file a directory? If so, attempt to fallback to
* index.html inside it.
*/
- if (((st.st_mode & FD.S_IFMT) & FD.S_IFDIR) != 0) {
+ if ((st.st_mode & FD.S_IFDIR) != 0) {
fd.close();
this.http_path += '/index.html';
index = true;
/*
* Only continue if file is a regular file
*/
- if (((st.st_mode & FD.S_IFMT) & FD.S_IFREG) == 0) {
+ if ((st.st_mode & FD.S_IFREG) == 0) {
fd.close();
http_error(this, 403, 'Permission Denied',
'You do not have the permission to access this resource.');