From 5071fc714809ee8c6a9e4d49c676d7779cc5b894 Mon Sep 17 00:00:00 2001 From: Patrick McDermott Date: Sun, 17 Jan 2021 08:44:46 -0500 Subject: install_system(), session_end(): Remove prokit dir --- (limited to 'src/session.sh') 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} -- cgit v0.9.1