beremiz

Runtime extrension web settings: distinguish display string and token when calling NS.newExtensionSetting, thus allowing meaningful name to be displayed instead of an id.

2020-06-15, Edouard Tisserant
4bc60e426dd6
Runtime extrension web settings: distinguish display string and token when calling NS.newExtensionSetting, thus allowing meaningful name to be displayed instead of an id.
# pylint: disable=undefined-variable
from __future__ import absolute_import
from svgui.pyjs.jsonrpc.jsonrpc import JSONRPCServiceBase
class JSONRPCService(JSONRPCServiceBase):
def serve(self):
return self.process(request.body.read())
def __call__(self, func):
self.methods[func.__name__] = func
return func