diff options
| -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)) } |