Make live config update interval configurable

config/api_example_config.py

@@ -98,6 +98,8 @@ DEFAULT_CACHE_CONTROL_MAX_AGE_SECONDS = 5 * 60
 API_DIAGNOSTICS_HISTORY_SIZE_MINUTES = 7 * 24 * 60
 API_DIAGNOSTICS_INTERVAL_SIZE_MINUTES = 30
 
+LIVE_CONFIG_UPDATE_INTERVAL_SECONDS = 60
+
 #  LDAP_HOST = "auth.fsmpi.rwth-aachen.de"
 LDAP_PORT = 636
 LDAP_GROUPS = ["fachschaft"]

src/api/live_config.py

 import os
 from pathlib import Path
 
+import api
 from api.miscellaneous import *
 from api.objects.types import TYPE_STRING_LONG
 
@@ -68,7 +69,7 @@ class LiveConfig:
 config: LiveConfig = LiveConfig()
 
 
-@scheduled_function(10, 1)
+@scheduled_function(api.config["LIVE_CONFIG_UPDATE_INTERVAL_SECONDS"], 1)
 def _update_live_config():
     if _LIVE_CONFIG_PATH is None:
         return