From 611816f08c714a7261c7641165fe5b0afd86ebe7 Mon Sep 17 00:00:00 2001
From: Travis Evans <travisgevans@gmail.com>
Date: Sat, 24 May 2025 17:05:15 -0500
Subject: [PATCH] Back out of timer app if it is running while timers are
 changed (so they are reloaded properly)

---
 apps/tevtimer/interface.html | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/apps/tevtimer/interface.html b/apps/tevtimer/interface.html
index 8626c0880..625ca4e87 100644
--- a/apps/tevtimer/interface.html
+++ b/apps/tevtimer/interface.html
@@ -56,6 +56,7 @@
     <script>
         const DATA_VERSION = 0;
         const TIMERS_FILE = 'tevtimer.timers.json';
+        const APP_FILE = 'tevtimer.app.js';
         const MAX_BUZZ_COUNT = 15;
 
         var userTimers = [];
@@ -332,8 +333,14 @@
             if (userTimers.length) {
                 // Guard in case the user manages to click Save before
                 // the timers are loaded, or something like that
-                Util.writeStorage(TIMERS_FILE, JSON.stringify(userTimers), () => {
-                    alert('Timers saved successfully.');
+
+                // Ensure timer app is not running while we replace the timer file
+                Puck.write("if (global.__FILE__=='" + APP_FILE + "')load();\n", () => {
+                    setTimeout(() => {
+                        Util.writeStorage(TIMERS_FILE, JSON.stringify(userTimers), () => {
+                            alert('Timers saved successfully.');
+                        });
+                    }, 2000);
                 });
             };
         }