From 93ed704c2ac066772b0da90840d9c57688d88a36 Mon Sep 17 00:00:00 2001
From: hut <hut@lavabit.com>
Date: Sun, 17 Feb 2013 20:29:23 +0100
Subject: core.loader: actually kill the process when using kill_on_pause

---
 ranger/core/loader.py | 1 +
 1 file changed, 1 insertion(+)

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)
-- 
cgit 1.4.1-2-gfad0