diff options
author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2021-01-17 08:44:46 (EST) |
---|---|---|
committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2021-01-17 08:44:46 (EST) |
commit | 5071fc714809ee8c6a9e4d49c676d7779cc5b894 (patch) | |
tree | 93bb147dffc54239d5799a1302f7286c2b446940 /src/session.sh | |
parent | 35e9cf16090a3ffe7b6153e9e9d1bbe767b7dc3f (diff) |
install_system(), session_end(): Remove prokit dir
Diffstat (limited to 'src/session.sh')
-rw-r--r-- | src/session.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/session.sh b/src/session.sh index c5a78ea..7cf5801 100644 --- a/src/session.sh +++ b/src/session.sh @@ -91,6 +91,8 @@ session_end() fi mutex_unlock "${_session_root}/prokit/sessions.lock" + + rmdir -- "${_session_root}/prokit" 2>/dev/null || : trap - ${_session_sigs} |