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"?>
<BeremizRoot URI_location="LOCAL://">
<TargetType/>
</BeremizRoot>
