curiousdannii · dfabulich · Nov 27, 2021 · Nov 27, 2021
diff --git a/.gitignore b/.gitignore
@@ -1,5 +1,7 @@
 dist
 node_modules
+serviceworker.js
+
 package-lock.json
 
 /*.js

diff --git a/gulpfile.esm.js b/gulpfile.esm.js
@@ -80,6 +80,9 @@ const buildweb = gulp.parallel(
             '!./node_modules/emglken/build/bocfel-core.wasm',
             './node_modules/jquery/dist/jquery.min.js',
             'src/upstream/glkote/waiting.gif',
+            'src/web/manifest.json',
+            'src/web/*.png',
+            'src/web/*.svg',
         ],
         target: 'web',
     }),

diff --git a/index.html b/index.html
@@ -7,6 +7,21 @@
     <script src="dist/web/jquery.min.js"></script>
     <script src="dist/web/ie.js" nomodule></script>
     <script src="dist/web/main.js" type="module"></script>
+    <script>
+        var useServiceWorker = (location.protocol === 'https:' && 'serviceWorker' in navigator);
+        if (useServiceWorker) {
+            navigator.serviceWorker.register('serviceworker.js').then(function (registration) {
+                console.log('ServiceWorker registration successful');
+                navigator.serviceWorker.addEventListener('controllerchange', function() {
+                    console.log('controllerchanged');
+                    location.reload();
+                })
+            }).catch(function (err) {
+                console.error('ServiceWorker registration failed: ', err);
+            });
+        }
+    </script>
+    <link rel="manifest" href="dist/web/manifest.json">
     <link rel="stylesheet" href="dist/web/web.css">
 </head>
 <body>

diff --git a/src/web/icon-192.png b/src/web/icon-192.png
diff --git a/src/web/icon-512.png b/src/web/icon-512.png