diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-10-07 15:00:25 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-10-07 15:00:25 (EDT) |
| commit | 52f8fdf72b5967308771ec1021e565115474a88e (patch) | |
| tree | 4cd9cdf83639cf7e70bb4e1d404b125d108e7898 | |
| parent | 59533cfca64a8378a3bac2b649b0445f6cf9bebd (diff) | |
session_end(): Run session exit callback
| -rw-r--r-- | lib/session.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/session.sh b/lib/session.sh index 0e29d4b..834567c 100644 --- a/lib/session.sh +++ b/lib/session.sh @@ -92,6 +92,8 @@ session_end() { session_unset_sigs + ${session_atexit} + # Unregister the session. profile_bind_umount "${session_arch}" "${session_plat}" \ "${session_mountdir}" \ |