summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorhut <hut@lavabit.com>2013-02-17 20:29:23 +0100
committerhut <hut@lavabit.com>2013-02-17 20:29:23 +0100
commit93ed704c2ac066772b0da90840d9c57688d88a36 (patch)
treed2bd4122a522209b8d375962780ac8c3a5fa0931
parentc6cfbaf2dae5d5aadfabfa82e48a1ca7d3ae0708 (diff)
downloadranger-93ed704c2ac066772b0da90840d9c57688d88a36.tar.gz
core.loader: actually kill the process when using kill_on_pause
-rw-r--r--ranger/core/loader.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/ranger/core/loader.py b/ranger/core/loader.py
index d5e5e615..926c11d1 100644
--- a/ranger/core/loader.py
+++ b/ranger/core/loader.py
@@ -204,6 +204,7 @@ class CommandLoader(Loadable, SignalDispatcher, FileManagerAware):
         if not self.finished and not self.paused:
             if self.kill_on_pause:
                 self.finished = True
+                self.process.kill()
                 return
             try:
                 self.process.send_signal(20)