From 9b25de49f9f3d65496f40cf1e68adc9bae3899e2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20M=C3=B6ller?= Date: Sat, 17 Feb 2024 20:28:53 +0100 Subject: [PATCH] Fix: Move server log and PID files to .build/server/ (#956) --- .gitignore | 2 -- tests/server | 6 ++++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.gitignore b/.gitignore index cb33677dd..b491def39 100644 --- a/.gitignore +++ b/.gitignore @@ -5,5 +5,3 @@ backend/mirror.gif backend/mirror.png backend/mirror.jpg backend/GeoIP.dat -tests/server.log -tests/server.pid diff --git a/tests/server b/tests/server index a8a2aa087..6cae14553 100755 --- a/tests/server +++ b/tests/server @@ -74,8 +74,8 @@ if [[ $# > 1 ]]; then fi # pidfile contents would be hostname:port:pid -PIDFILE=tests/server.pid -LOGFILE=tests/server.log +PIDFILE=.build/server/server.pid +LOGFILE=.build/server/server.log validate_server () { which php &> /dev/null @@ -108,7 +108,9 @@ start_server () { return 1 else printf "${GREEN}"$NAME" started on $HOST:$PORT${NORMAL}\n" + mkdir -p $(dirname "$LOGFILE") php -S "$HOST":"$PORT" -c tests/php.ini >> "$LOGFILE" 2>&1 & + mkdir -p $(dirname "$PIDFILE") echo "$HOST":"$PORT":$! > $PIDFILE return 0 fi