# HG changeset patch
# User Edouard Tisserant
# Date 1699525239 -3600
# Node ID beccb995b10e833a977cb999fb3663ff250a5211
# Parent  efe0b5b21842dece64c5298eb343e1681f383951
Runtime web settings: allow customization of version string by extensions

diff -r efe0b5b21842 -r beccb995b10e runtime/NevowServer.py
--- a/runtime/NevowServer.py	Fri Aug 18 11:38:20 2023 +0200
+++ b/runtime/NevowServer.py	Thu Nov 09 11:20:39 2023 +0100
@@ -196,10 +196,19 @@
     global extensions_settings_od
     extensions_settings_od.pop(token)
 
+
+def originalGetVersions():
+    return platform_module.system() + " " + platform_module.release()
+
+_getVersions = originalGetVersions
+
+def setVersionsCallable(versionsCallable):
+    global _getVersions
+    _getVersions = versionsCallable
+
 class ISettings(annotate.TypedInterface):
     platform = annotate.String(label=_("Platform"),
-                               default=platform_module.system() +
-                               " " + platform_module.release(),
+                               default=lambda *a,**k:_getVersions(),
                                immutable=True)
 
     # TODO version ?