diff options
| author | hut <hut@lavabit.com> | 2013-02-17 20:29:23 +0100 |
|---|---|---|
| committer | hut <hut@lavabit.com> | 2013-02-17 20:29:23 +0100 |
| commit | 93ed704c2ac066772b0da90840d9c57688d88a36 (patch) | |
| tree | d2bd4122a522209b8d375962780ac8c3a5fa0931 | |
| parent | c6cfbaf2dae5d5aadfabfa82e48a1ca7d3ae0708 (diff) | |
| download | ranger-93ed704c2ac066772b0da90840d9c57688d88a36.tar.gz | |
core.loader: actually kill the process when using kill_on_pause
| -rw-r--r-- | ranger/core/loader.py | 1 |
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) |