From: Christian Kastner <ckk@kvr.at>
Date: Mon, 19 May 2025 13:05:49 +0200
Subject: Drop non-DFSG-free server frontend

We cannot embed the default, React-based server frontend because we
cannot rebuild it from source, as not all relevant dependencies are
available in Debian.

Forwarded: not-needed
---
 tools/server/CMakeLists.txt |  1 -
 tools/server/server.cpp     | 15 ---------------
 2 files changed, 16 deletions(-)

diff --git a/tools/server/CMakeLists.txt b/tools/server/CMakeLists.txt
index c2a56aa..acdc5d2 100644
--- a/tools/server/CMakeLists.txt
+++ b/tools/server/CMakeLists.txt
@@ -14,7 +14,6 @@ set(TARGET_SRCS
     utils.hpp
 )
 set(PUBLIC_ASSETS
-    index.html.gz
     loading.html
 )
 
diff --git a/tools/server/server.cpp b/tools/server/server.cpp
index 57b917f..bf5cc3d 100644
--- a/tools/server/server.cpp
+++ b/tools/server/server.cpp
@@ -15,7 +15,6 @@
 #define MIMETYPE_JSON "application/json; charset=utf-8"
 
 // auto generated files (see README.md for details)
-#include "index.html.gz.hpp"
 #include "loading.html.hpp"
 
 #include <atomic>
@@ -4811,20 +4810,6 @@ int main(int argc, char ** argv) {
                 LOG_ERR("%s: static assets path not found: %s\n", __func__, params.public_path.c_str());
                 return 1;
             }
-        } else {
-            // using embedded static index.html
-            svr->Get(params.api_prefix + "/", [](const httplib::Request & req, httplib::Response & res) {
-                if (req.get_header_value("Accept-Encoding").find("gzip") == std::string::npos) {
-                    res.set_content("Error: gzip is not supported by this browser", "text/plain");
-                } else {
-                    res.set_header("Content-Encoding", "gzip");
-                    // COEP and COOP headers, required by pyodide (python interpreter)
-                    res.set_header("Cross-Origin-Embedder-Policy", "require-corp");
-                    res.set_header("Cross-Origin-Opener-Policy", "same-origin");
-                    res.set_content(reinterpret_cast<const char*>(index_html_gz), index_html_gz_len, "text/html; charset=utf-8");
-                }
-                return false;
-            });
         }
     }
 
