summaryrefslogtreecommitdiff
path: root/dev-server.php
diff options
context:
space:
mode:
Diffstat (limited to 'dev-server.php')
-rw-r--r--dev-server.php7
1 files changed, 7 insertions, 0 deletions
diff --git a/dev-server.php b/dev-server.php
index 0577fdd..2e5aacb 100644
--- a/dev-server.php
+++ b/dev-server.php
@@ -32,6 +32,13 @@ elseif (str_ends_with($name, ".html")) {
http_response_code(302);
header("Location: /$name");
exit;
+} elseif ($name === "favicon.ico" && is_file(SRCDIR . "/favicon.ico")) {
+ $path = SRCDIR . "/favicon.ico";
+ $len = filesize($path);
+ header("Content-Type: image/x-icon");
+ header("Content-Length: $len");
+ readfile($path);
+ exit;
}
$include_file = FALLBACK_FILE;