Fri, 21 Oct 2022 18:33:06 +0200Runtime: fix PLC not terminating when being Repaired (i.e purged). wxPython4
Edouard Tisserant <edouard.tisserant@gmail.com> [Fri, 21 Oct 2022 18:33:06 +0200] rev 3642
Runtime: fix PLC not terminating when being Repaired (i.e purged).