web: if [ "$HIDDEN" == true ]; then ./tor/bin/run_tor java -jar -Dserver.port=$PORT build/libs/haveno-relay.jar; else java -jar -Dserver.port=$PORT build/libs/haveno-relay.jar; fi