diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-10-06 17:18:18 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-10-06 17:18:18 (EDT) |
| commit | 7fb9b7d3665726dc4c86d1a476e4b13dd41c4981 (patch) | |
| tree | ac26a2e9f05f2ce71d73545749a76175e0792c5d | |
| parent | d604e4231790157917e6f518ef90825ca914d712 (diff) | |
session_dir(): New function
| -rw-r--r-- | lib/session.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/session.sh b/lib/session.sh index 0a18f68..e745822 100644 --- a/lib/session.sh +++ b/lib/session.sh @@ -105,6 +105,12 @@ session_id() return 0 } +session_dir() +{ + printf '/prokit/sessions/%d\n' ${session_id} + return 0 +} + session_exec() { local args= |