diff --git a/config/api_example_config.py b/config/api_example_config.py index 1189d7aeef8b51db26039d2e1f6d68bbabd0d2c6..0465506779ad3c1b4b70698a1a1f604814e2e844 100644 --- a/config/api_example_config.py +++ b/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"] diff --git a/src/api/live_config.py b/src/api/live_config.py index 8bb05cc2d88da823ada12be9f9f0c8c2477695b2..aba2dfedcac87b3622668a7a2227220bcaa3555e 100644 --- a/src/api/live_config.py +++ b/src/api/live_config.py @@ -1,6 +1,7 @@ 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