diff options
author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-04-25 22:44:24 (EDT) |
---|---|---|
committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-04-25 22:44:24 (EDT) |
commit | a0ed542851d7698d8e6dcf84956895792166046d (patch) | |
tree | cb651d04e3fbe8769ea2669e7b883de04ee3111a | |
parent | 06f244c3b522f57fbc32e3964006ea89d5a68ba4 (diff) |
session_exec(): Make "set -e"-safe
-rw-r--r-- | src/session.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/session.sh b/src/session.sh index 83198f6..32400ce 100644 --- a/src/session.sh +++ b/src/session.sh @@ -213,7 +213,8 @@ session_exec() args="${args} ${arg}" done session_dir="/prokit/sessions/${session_id}/wd" - chroot "${session_root}" /bin/sh -c "cd ${session_dir}; ${args}" + chroot "${session_root}" /bin/sh -c "cd ${session_dir}; ${args}" || \ + return ${?} - return ${?} + return 0 } |