Simple JSONRPC server in python