diff options
| author | Frank LENORMAND <lenormf@gmail.com> | 2020-12-22 09:54:38 +0300 |
|---|---|---|
| committer | Frank LENORMAND <lenormf@gmail.com> | 2020-12-22 09:54:38 +0300 |
| commit | 16ace71839b74ca5d253faddaafb7e3886641acc (patch) | |
| tree | 280a5f7c78fe9e1083a77d3b2cc6ead646eaa166 /src/shared_string.hh | |
| parent | 74b6c20a0d19c9fcf2b30a93de1ff3b715151e65 (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/shared_string.hh')
0 files changed, 0 insertions, 0 deletions
