beremiz

SVGHMI: provide request_animate() to Widget authors so that they can register redraw code when events lead to redraw. Widget member animate() is called when it is time to update DOM.
# 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