beremiz
Clone
Summary
Browse
Changes
Graph
fix deadlock if method kill() is called after process is already finished
2017-12-04, Andrey Skvortsov
3707240447f8
fix deadlock if method kill() is called after process is already finished
<?xml version='1.0' encoding='utf-8'?>
<BaseParams xmlns:xsd="http://www.w3.org/2001/XMLSchema" IEC_Channel="0" Name="py_ext_0"/>
