fix deadlock if method kill() is called after process is already finished

2017-12-04, Andrey Skvortsov