diff options
author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2020-06-25 19:07:49 (EDT) |
---|---|---|
committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2020-06-25 19:07:49 (EDT) |
commit | aba13271f705f5044525860d8f3974221fd73913 (patch) | |
tree | 8a628c43cfdd059b55998b6438671179ddb9303b | |
parent | e4130541897047fad36a75e4de4dc609177df8b7 (diff) |
session: Don't end on signal; don't run cb on end
Let the caller do all of this.
-rw-r--r-- | src/session.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/session.sh b/src/session.sh index c4a9b08..40b00e7 100644 --- a/src/session.sh +++ b/src/session.sh @@ -23,7 +23,6 @@ session_root= session_arch= session_plat= session_mountdir= -session_atexit= session_sigs= _session_es= @@ -67,15 +66,8 @@ _session_umount() session_end() { - if [ ! -d "${session_root}/prokit/sessions/${session_id}" ]; then - # Session already ended by signal. No need for further cleanup. - return 0 - fi - trap : ${session_sigs} - ${session_atexit} - # Unregister the session. profile_bind_umount "${session_arch}" "${session_plat}" \ "${session_mountdir}" \ @@ -110,8 +102,6 @@ _session_handle_sig() local sig="${1}" shift 1 - session_end - _session_es=$((128 + ${sig})) } @@ -151,7 +141,6 @@ session_begin() session_arch="$(cat -- "${root}/etc/proteanos_arch")" session_plat="$(cat -- "${root}/etc/proteanos_plat")" session_mountdir="${mountdir}" - session_atexit="${atexit}" [ -d "${session_root}/prokit" ] || mkdir -- "${session_root}/prokit" if [ -f "${session_root}/prokit/installing" ] && ! ${installing}; then |