diff options
Diffstat (limited to 'dev-server.php')
-rw-r--r-- | dev-server.php | 7 |
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; |