Extracted at 2014-06-26.
pike.ida.liu.se
[Top]
Tools
Tools.JSON
Tools.JSON.RPC

Method Tools.JSON.RPC.encode_response()


Method encode_response

string encode_response(mixed id, void|mixed result)