now redirects to <path>/ when serving a directory's index.html

js/static.js

@@ -93,9 +93,17 @@ module.exports = function(root, before) {
 				return;
 			}
 
-			// If it's a directory, we want the index.html file
-			if (stat.isDirectory())
+			// If it's a directory, we want the index.html file,
+			// or redirect to <pathname>/
+			if (stat.isDirectory()) {
+				if (pn[pn.length - 1] !== "/") {
+					res.writeHead(302, { location: pn + "/" });
+					res.end();
+					return;
+				}
+
 				path = pathlib.join(path, "index.html");
+			}
 
 			// Send the file
 			send(path);