From 5d58fdc6f059f032c17fcbf0d9eff4aa6aff0af6 Mon Sep 17 00:00:00 2001
From: Franziska Kunsmann <fkunsmann@seibert-media.net>
Date: Thu, 6 Jul 2023 11:28:49 +0200
Subject: [PATCH] make refresh interval configurable

---
 node.json | 6 ++++++
 service   | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/node.json b/node.json
index 099d954..1438ecc 100644
--- a/node.json
+++ b/node.json
@@ -114,5 +114,11 @@
         "type": "string",
         "default": "https://icinga2/api/v1/objects/services?filter=service.state!=ServiceOK",
         "hint": "Full URL to the API endpoint which returns a list of monitored services. Keeping the filter is strongly recommended!"
+    }, {
+        "title": "Refresh Interval",
+        "ui_width": 4,
+        "name": "refresh_interval",
+        "type": "integer",
+        "default": 20
     }]
 }
diff --git a/service b/service
index 6cbd62a..e0522f2 100755
--- a/service
+++ b/service
@@ -167,7 +167,7 @@ def main():
         except Exception:
             traceback.print_exc()
 
-        time.sleep(20)
+        time.sleep(CONFIG["refresh_interval"])
 
 
 if __name__ == "__main__":