diff options
Diffstat (limited to 'src/command/commands.js')
| -rw-r--r-- | src/command/commands.js | 4 |
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() { |