--- a/runtime/NevowServer.py Mon Oct 09 11:39:33 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): + _getVersions = versionsCallable class ISettings(annotate.TypedInterface):
platform = annotate.String(label=_("Platform"),
- default=platform_module.system() +
- " " + platform_module.release(),
+ default=lambda *a,**k:_getVersions(),