diff options
| -rw-r--r-- | dev-server.php | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/dev-server.php b/dev-server.php index dea55ab..0577fdd 100644 --- a/dev-server.php +++ b/dev-server.php @@ -27,8 +27,12 @@ $is_static = false; $name = ltrim($name, "/"); if (str_starts_with($name, "static/")) $is_static = true; -elseif (str_ends_with($name, ".html")) +elseif (str_ends_with($name, ".html")) { $name = preg_replace('/\.html$/', "", $name); + http_response_code(302); + header("Location: /$name"); + exit; +} $include_file = FALLBACK_FILE; |