From f791a9b302a1f66134bd4201da19d1fc6a863c3d Mon Sep 17 00:00:00 2001
From: Mathias Jud <jud@wachter-jud.net>
Date: Wed, 31 Jul 2024 15:30:22 +0200
Subject: [PATCH] auto-update keys on SD inspector

---
 demo/playground/sd_inspector.html | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/demo/playground/sd_inspector.html b/demo/playground/sd_inspector.html
index bd5887a..281e28b 100644
--- a/demo/playground/sd_inspector.html
+++ b/demo/playground/sd_inspector.html
@@ -23,12 +23,15 @@
         window.addEventListener('wasm_ready', function(){
             console.log('WASM is ready')
 
+            // load keys from WASM
             keys = new Keys()
         });
 
         // update domains on key change
         window.addEventListener('keys_ready', function(){
             domains.keys_updated(keys.keys)
+            // set interval for key reload
+            setInterval(update_keys, 5000)
         })
         window.addEventListener('keys_updated', function(){
             domains.keys_updated(keys.keys)
@@ -46,6 +49,11 @@
             update_ui_domains()
         })
 
+        /// update keys from local storage
+        function update_keys() {
+            keys.update_keys()
+        }
+
         /// update domains
         function update_ui_domains() {
             for (let i=0; i<domains.domains.length; i++) {