From 25ce4c03e1c399cd7964cff0747205637fe717da Mon Sep 17 00:00:00 2001
From: j <j@mailb.org>
Date: Mon, 18 Jan 2016 13:04:29 +0530
Subject: [PATCH] move pid file to data

---
 ctl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ctl b/ctl
index 82b37ec..0f031bf 100755
--- a/ctl
+++ b/ctl
@@ -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"