svgui/pyjs/jsonrpc/__init__.py
author Edouard Tisserant
Mon, 26 Nov 2018 15:12:18 +0100
changeset 2460 89abeece2c71
parent 1869 49cdd843c006
permissions -rw-r--r--
Fixed ID,last URI, or last connection date not being updated when connnecting to target.
# module jsonrpc