svgui/pyjs/jsonrpc/__init__.py
| author |
Edouard Tisserant |
|
Tue, 19 Oct 2021 15:15:03 +0200 |
| changeset 3343 |
c6de1a6cb655 |
| parent 1869 |
49cdd843c006
|
| permissions |
-rw-r--r-- |
Merge changes about wamp reconnecting options, and added missing parts so that these changes make sense.