runtime/NevowServer.py
changeset 3855 beccb995b10e
parent 3703 4b75f1506ea1
child 3856 054c4f1b2ea7
equal deleted inserted replaced
3837:efe0b5b21842 3855:beccb995b10e
   194 
   194 
   195 def removeExtensionSetting(token):
   195 def removeExtensionSetting(token):
   196     global extensions_settings_od
   196     global extensions_settings_od
   197     extensions_settings_od.pop(token)
   197     extensions_settings_od.pop(token)
   198 
   198 
       
   199 
       
   200 def originalGetVersions():
       
   201     return platform_module.system() + " " + platform_module.release()
       
   202 
       
   203 _getVersions = originalGetVersions
       
   204 
       
   205 def setVersionsCallable(versionsCallable):
       
   206     global _getVersions
       
   207     _getVersions = versionsCallable
       
   208 
   199 class ISettings(annotate.TypedInterface):
   209 class ISettings(annotate.TypedInterface):
   200     platform = annotate.String(label=_("Platform"),
   210     platform = annotate.String(label=_("Platform"),
   201                                default=platform_module.system() +
   211                                default=lambda *a,**k:_getVersions(),
   202                                " " + platform_module.release(),
       
   203                                immutable=True)
   212                                immutable=True)
   204 
   213 
   205     # TODO version ?
   214     # TODO version ?
   206 
   215 
   207     # pylint: disable=no-self-argument
   216     # pylint: disable=no-self-argument