svgui/pyjs/jsonrpc/jsonrpc.py
changeset 1740 b789b695b5c6
parent 1736 7e61baa047f0
child 1742 92932cd370a4
equal deleted inserted replaced
1739:ec153828ded2 1740:b789b695b5c6
     7 
     7 
     8     def __init__(self):
     8     def __init__(self):
     9         self.methods={}
     9         self.methods={}
    10 
    10 
    11     def response(self, id, result):
    11     def response(self, id, result):
    12         return simplejson.dumps({'version': '1.1', 'id':id,
    12         return simplejson.dumps({'version': '1.1', 'id': id,
    13                                  'result':result, 'error':None})
    13                                  'result': result, 'error': None})
    14     def error(self, id, code, message):
    14     def error(self, id, code, message):
    15         return simplejson.dumps({'id': id,
    15         return simplejson.dumps({'id': id,
    16                                  'version': '1.1',
    16                                  'version': '1.1',
    17                                  'error': {'name': 'JSONRPCError',
    17                                  'error': {'name': 'JSONRPCError',
    18                                            'code': code,
    18                                            'code': code,