From 6544c5997861bfeebc915ea5c0db1e38bb73e523 Mon Sep 17 00:00:00 2001 From: Alexey Ermakov Date: Sat, 17 Dec 2011 13:11:36 +0400 Subject: [PATCH] Cancel running tasks on plugin reload. --- external_command.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/external_command.py b/external_command.py index c235fb9..669fe29 100644 --- a/external_command.py +++ b/external_command.py @@ -191,6 +191,10 @@ def on_done(task): self.tasks[view.buffer_id()] = task task.start() + def __del__(self): + for task in self.tasks.values(): + task.cancel() + class ExternalCommandBase(object): command_manager = ExternalCommandManager()