diff options
Diffstat (limited to 'build/integration')
| -rwxr-xr-x | build/integration/run.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/build/integration/run.sh b/build/integration/run.sh index 45a0333038e..09c1d544c6d 100755 --- a/build/integration/run.sh +++ b/build/integration/run.sh @@ -34,10 +34,16 @@ if [ -z "$EXECUTOR_NUMBER" ]; then fi PORT=$((8080 + $EXECUTOR_NUMBER)) echo $PORT -php -S localhost:$PORT -t ../.. & + +echo "" > phpserver.log + +php -S localhost:$PORT -t ../.. &> phpserver.log & PHPPID=$! echo $PHPPID +# Output filtered php server logs +tail -f phpserver.log | grep --line-buffered -v -E ":[0-9]+ Accepted$" | grep --line-buffered -v -E ":[0-9]+ Closing$" & + # The federated server is started and stopped by the tests themselves PORT_FED=$((8180 + $EXECUTOR_NUMBER)) echo $PORT_FED |