# HG changeset patch # User edogawaconan # Date 1413895476 -32400 # Node ID 8df269a2efd8a8841ea84be57a99aaa979c31bda # Parent b84ce3ef4c9d37cc544236e55c7707168468dc5a Remove unused variable. diff -r b84ce3ef4c9d -r 8df269a2efd8 index.php --- a/index.php Tue Oct 21 21:41:49 2014 +0900 +++ b/index.php Tue Oct 21 21:44:36 2014 +0900 @@ -20,9 +20,6 @@ $root = $_SERVER["DL_ROOT"]; if ($root === null || $root === "") { $root = $_SERVER["DOCUMENT_ROOT"]; } - // current directory being listed. - $current_dir = $root . $path; - if (realpath($root . $path) === false) { header("HTTP/1.0 404 Not Found"); } elseif (substr($current_dir, -1) !== "/") {