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"