aboutsummaryrefslogtreecommitdiff
path: root/src/command
diff options
context:
space:
mode:
authorAdrian Kummerlaender2015-09-04 22:05:46 +0200
committerAdrian Kummerlaender2015-09-04 22:05:46 +0200
commit52dd097c4d679d53060b415e065151806f0acfbf (patch)
treed38556e1f94e5ba89ac88eea2f581d8dc060317b /src/command
parent20da0c6f663be3c1cebc92671d489f56972915e3 (diff)
downloadMetaTerm-52dd097c4d679d53060b415e065151806f0acfbf.tar
MetaTerm-52dd097c4d679d53060b415e065151806f0acfbf.tar.gz
MetaTerm-52dd097c4d679d53060b415e065151806f0acfbf.tar.bz2
MetaTerm-52dd097c4d679d53060b415e065151806f0acfbf.tar.lz
MetaTerm-52dd097c4d679d53060b415e065151806f0acfbf.tar.xz
MetaTerm-52dd097c4d679d53060b415e065151806f0acfbf.tar.zst
MetaTerm-52dd097c4d679d53060b415e065151806f0acfbf.zip
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.
Diffstat (limited to 'src/command')
-rw-r--r--src/command/commands.js4
1 files changed, 3 insertions, 1 deletions
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() {