From 1686a64bf3ee21363f0139c05c55fabf8620e4a1 Mon Sep 17 00:00:00 2001
From: Jonas Kohl <gitlab@jonaskohl.de>
Date: Sat, 20 Jul 2024 14:43:51 +0200
Subject: Add favicon (support)

---
 dev-server.php | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'dev-server.php')

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;
-- 
cgit v1.2.3