would be nice if we could return a cacnonical path to the cli server

diff --git a/docs/.router.php b/docs/.router.php
index 92875986c20469ad9b0ce42442e0452de74ccb4a..7fa045e6c4544b73c84faa57493184d381142070 100644 (file)
--- a/docs/.router.php
+++ b/docs/.router.php
@@ -1,16 +1,23 @@
 <?php
 
-$file = __DIR__ . urldecode($_SERVER["REQUEST_URI"]);
-error_log("uri:$file\n");
+$uri = urldecode($_SERVER["REQUEST_URI"]);
 
-if (is_file($file)) {
-       return false;
+if (strpos($uri, "/ext-ion") === 0) {
+    $uri = substr($uri, strlen("/ext-ion"));
 }
-
-if (is_dir($file) && file_exists($file."/index.html")) {
-       readfile($file."/index.html");
+$file = rtrim(__DIR__ . $uri, "/");
+if (is_file($file)) {
+    switch (pathinfo($file, PATHINFO_EXTENSION)) {
+        case "js":  header("content-type: text/javascript"); break;
+        case "css": header("content-type: text/css"); break;
+        case "php":
+        case "": header("content-type: text-plain"); break;
+    }
+       readfile($file);
+} elseif (is_dir($file) && file_exists("$file/index.html")) {
+       readfile("$file/index.html");
 } else {
-       $file = rtrim($file, "/").".html";
+       $file .= ".html";
        if (file_exists($file)) {
                readfile($file);
        } else {