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