feat(frontend): add PWA manifest

1 files changed, 7 insertions, 2 deletions

diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/CacheControlFilter.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/CacheControlFilter.java
index b13ae95d..8ac8a21e 100644
--- a/subprojects/language-web/src/main/java/tools/refinery/language/web/CacheControlFilter.java
+++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/CacheControlFilter.java
@@ -2,6 +2,7 @@ package tools.refinery.language.web;
 
 import java.io.IOException;
 import java.time.Duration;
+import java.util.Set;
 import java.util.regex.Pattern;
 
 import org.eclipse.jetty.http.HttpHeader;
@@ -16,7 +17,10 @@ import jakarta.servlet.http.HttpServletRequest;
 import jakarta.servlet.http.HttpServletResponse;
 
 public class CacheControlFilter implements Filter {
-        private static final Pattern CACHE_URI_PATTERN = Pattern.compile(".*\\.(css|gif|js|map|png|svg|woff2)");
+        private static final Pattern CACHE_URI_PATTERN = Pattern.compile(".*\\.(css|gif|js|map|png|svg|woff2?)");
+
+        private static final Set<String> CACHE_URI_DENYLIST = Set.of("apple-touch-icon.png", "favicon.png", "favicon.svg",
+                        "favicon-96x96.png", "icon-any.svg", "icon-192x192.png", "icon-512x512.png", "mask-icon.svg", "sw.js");
 
         private static final Duration EXPIRY = Duration.ofDays(365);
 
@@ -33,7 +37,8 @@ public class CacheControlFilter implements Filter {
         public void doFilter(ServletRequest request, ServletResponse response, FilterChain chain)
                         throws IOException, ServletException {
                 if (request instanceof HttpServletRequest httpRequest && response instanceof HttpServletResponse httpResponse) {
-                        if (CACHE_URI_PATTERN.matcher(httpRequest.getRequestURI()).matches()) {
+                        var requestURI = httpRequest.getRequestURI();
+                        if (CACHE_URI_PATTERN.matcher(requestURI).matches() && !CACHE_URI_DENYLIST.contains(requestURI)) {
                                 httpResponse.setHeader(HttpHeader.CACHE_CONTROL.asString(), CACHE_CONTROL_CACHE_VALUE);
                                 httpResponse.setDateHeader(HttpHeader.EXPIRES.asString(),
                                                 System.currentTimeMillis() + EXPIRY.toMillis());