util/__init__.py
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Mon, 04 Dec 2017 11:20:46 +0300
changeset 1882 3707240447f8
parent 742 41a4a560406c
permissions -rw-r--r--
fix deadlock if method kill() is called after process is already finished