Workaround for a disconnected worker on iOS (another one)

src/api/gramjs/worker/provider.ts

@@ -142,6 +142,7 @@ function makeRequest(message: OriginRequest) {
   }
 
   requestStates.set(messageId, requestState);
+
   promise
     .catch(() => undefined)
     .finally(() => {
@@ -161,7 +162,14 @@ const startedAt = Date.now();
 
 // Workaround for iOS sometimes stops interacting with worker
 function setupIosHealthCheck() {
-  window.addEventListener('focus', async () => {
+  window.addEventListener('focus', () => {
+    void ensureWorkerPing();
+    // Sometimes a single check is not enough
+    setTimeout(() => ensureWorkerPing(), 1000);
+  });
+}
+
+async function ensureWorkerPing() {
   try {
     await Promise.race([
       makeRequest({ type: 'ping' }),
@@ -175,5 +183,4 @@ function setupIosHealthCheck() {
       window.location.reload();
     }
   }
-  });
 }