diff options
author | P. J. McDermott <pj@pehjota.net> | 2014-10-07 09:34:31 (EDT) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2014-10-07 09:34:31 (EDT) |
commit | 1c6df13885687f4c3bc2504cbd9f33d98e1b8cb4 (patch) | |
tree | 24a7f994ee6227a8d8997c30f9aa0c8a36dac633 | |
parent | e5b9c874371cd416bff32efe72d5604574c93c70 (diff) |
session_begin(): Make /prokit if it doesn't exist
-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 f0ec186..5aad176 100644 --- a/lib/session.sh +++ b/lib/session.sh @@ -48,6 +48,8 @@ session_begin() session_mountdir="${mountdir}" session_atexit="${atexit}" + [ -d "${session_root}/prokit" ] || mkdir "${session_root}/prokit" + if ! mutex_lock_timeout "${session_root}/prokit/sessions.lock" 5; then error 2 "$(get_msg 'cant_lock_sessions')" fi |