From 2ec9ca774941a5a6809ea42e93da47c9182f2ab6 Mon Sep 17 00:00:00 2001
From: Adrian Vollmer <computerfluesterer@protonmail.com>
Date: Sun, 9 Oct 2022 12:39:56 +0200
Subject: [PATCH] Prevent error if favicon not found

---
 zundler/assets/init.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/zundler/assets/init.js b/zundler/assets/init.js
index fd4ef70..36535f2 100644
--- a/zundler/assets/init.js
+++ b/zundler/assets/init.js
@@ -28,6 +28,7 @@ var set_favicon = function(href) {
     favicon.setAttribute('rel', 'shortcut icon');
     href = normalize_path(href);
     const file = window.global_context.file_tree[href];
+    if (!file) {return;}
     if (file.mime_type == 'image/svg+xml') {
         favicon.setAttribute('href', 'data:' + file.mime_type + ';charset=utf-8;base64,' + btoa(file.data));
         favicon.setAttribute('type', file.mime_type);