diff options
| author | P. J. McDermott <pj@pehjota.net> | 2016-01-17 16:15:27 (EST) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2016-01-17 16:15:27 (EST) |
| commit | 8ef477c3089bd8b85fd743db5e735b3a0d56f704 (patch) | |
| tree | 2912d6097965a152b8c1f5804c0603c3f426665c | |
| parent | 09c583248e7c0aa5a833ec01262b8b4a7980234b (diff) | |
session_handle_sig(): Drop ${exit_status} handling
This is an artifact from error() setting exit_status and sending SIGINT.
| -rw-r--r-- | src/session.sh | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/session.sh b/src/session.sh index 0728080..5390cf3 100644 --- a/src/session.sh +++ b/src/session.sh @@ -207,9 +207,5 @@ session_handle_sig() session_end - if [ "x${exit_status:+set}" = 'xset' ]; then - exit ${exit_status} - else - exit $((128 + $sig)) - fi + exit $((128 + $sig)) } |