diff --git a/ctl b/ctl index 67f2fa3..6e46c91 100755 --- a/ctl +++ b/ctl @@ -1,6 +1,5 @@ #!/usr/bin/env bash NAME="openmedialibrary" -PID="/tmp/$NAME.$USER.pid" cd "`dirname "$0"`" if [ -e oml ]; then @@ -25,16 +24,7 @@ else mv "$BASE/config/release.json" "$BASE/data/release.json" fi fi -if [ ! -e "$PID" ]; then -if [ -e "$DATA/tor/hostname" ]; then - onion=$(cat "$DATA/tor/hostname") - id=${onion/.onion/} - PID="/tmp/$NAME.$USER.$id.pid" -fi -fi -if [ ! -e "$PID" ]; then - PID="$DATA/$NAME.pid" -fi +PID="$DATA/$NAME.pid" PLATFORM_PYTHON=3.4 SHARED_PYTHON=3.7