images/IDManager.png
author Edouard Tisserant
Thu, 18 Apr 2019 14:34:22 +0200
branchfix_PLC_runtime_shutdown
changeset 2603 1ffdc62784cf
parent 2337 8689ce77076f
permissions -rw-r--r--
Add some "pipe to self" trick in Pyro server to accelerate runtime shutdown instead of waiting for arbitrary pyro timeout.
2337
8689ce77076f Added toolbar button to launch ID Manager dialog.
Edouard Tisserant
parents:
diff changeset
     1
(binary:image/png)