From 52dd097c4d679d53060b415e065151806f0acfbf Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Fri, 4 Sep 2015 22:05:46 +0200
Subject: Reimplemented `kill` command using actual signal sending

Previously `kill` merely destroyed the terminal widget. This is contrary to the expected notion of `kill`, i.e. actually killing the process explicitly instead of relying on side effects.

The normal mode `d` verb now explicitly destroys the current item's content, be it a terminal widget or a history view.
---
 src/command/commands.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/command/commands.js')

diff --git a/src/command/commands.js b/src/command/commands.js
index 333eb98..07a1f04 100644
--- a/src/command/commands.js
+++ b/src/command/commands.js
@@ -94,7 +94,9 @@ function jump(output, index) {
 }
 
 function kill(output, index) {
-	terminalList.get(index).reset();
+	if ( !terminalList.get(index).terminate() ) {
+		output.error("Failed to terminate process.");
+	}
 }
 
 function next() {
-- 
cgit v1.2.3