summaryrefslogtreecommitdiff
path: root/src/shell_manager.cc
diff options
context:
space:
mode:
authorFrank LENORMAND <lenormf@gmail.com>2020-12-22 09:54:38 +0300
committerFrank LENORMAND <lenormf@gmail.com>2020-12-22 09:54:38 +0300
commit16ace71839b74ca5d253faddaafb7e3886641acc (patch)
tree280a5f7c78fe9e1083a77d3b2cc6ead646eaa166 /src/shell_manager.cc
parent74b6c20a0d19c9fcf2b30a93de1ff3b715151e65 (diff)
src: Catch “kill exceptions”’cleanly
When the `kill` command is called in the `-E` CLI flag, the resulting exception is not caught and crashes the server. This commit allows the server to terminate cleanly. Since `KakEnd` hooks also need to be executed should the user run a command like `kak -E 'kill 0'`, the execution of `KakBegin` hooks is now performed *before* the command provided in `-E` is executed. The documentation for `KakBegin` (executed after the `-E` command prior to this commit) consequently becomes more truthful, as it states: KakBegin session name kakoune has started, this hook is called just after reading the user configuration files Fixes #3972
Diffstat (limited to 'src/shell_manager.cc')
0 files changed, 0 insertions, 0 deletions