move pid file to data

2016-01-18 13:04:29 +05:30 · 2016-01-18 13:04:29 +05:30 · 25ce4c03e1
parent a4de5127dc
commit 25ce4c03e1
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -26,6 +26,9 @@ if [ -e "$DATA/tor/hostname" ]; then
    PID="/tmp/$NAME.$USER.$id.pid"
 fi
 fi
+if [ ! -e $PID ]; then
+    PID="$DATA/$NAME.pid"
+fi

 if [ -e "$BASE/local_platform" ]; then
    export PLATFORM_ENV="$BASE/local_platform"