From a04270a05c0d775198a1f01f7c1e868105c14e6d Mon Sep 17 00:00:00 2001 From: j Date: Sun, 17 Aug 2014 18:11:19 +0200 Subject: [PATCH] add $USER to pid path --- ctl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ctl b/ctl index 6d90f58..6f209f6 100755 --- a/ctl +++ b/ctl @@ -1,7 +1,7 @@ #!/usr/bin/env bash HOST="[::1]:9842" NAME="openmedialibrary" -PID="/tmp/$NAME.pid" +PID="/tmp/$NAME.$USER.pid" cd "`dirname "$0"`" if [ -e oml ]; then