slintpad: Reload if service worker does not come up

Apparently browsers do not set a controlling service worker when force-reloading a page. Work around this by reloading the page. We run into this issue only while the load screen is still up. So we have no state to take care of or anything, so go for the simplest thinkable "fix": Reload the page.
task-jp · Mar 30, 2023 · 1f8643b · 1f8643b
1 parent 225fa93
commit 1f8643b
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/tools/slintpad/src/index.ts b/tools/slintpad/src/index.ts
@@ -36,6 +36,12 @@ import {
 
 function resolveControllerReady(resolve: () => void, count: number) {
     count += 1;
+    if (count >= 5) {
+        // Force a reload! We do not have any state yet, so we do not need to
+        // be creative to make the browser notice that we have an active
+        // service worker.
+        window.location.reload();
+    }
     if (navigator.serviceWorker.controller) {
         console.info(`Controller ready after ${count} attempts`);
         resolve();