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
{
"url":"ws://127.0.0.1:8888",
"realm":"Automation",
"ID":"wamptest",
"password":"1234567890",
"key":"ABCDEFGHIJ"
}