diff --git a/build/integration/run.sh b/build/integration/run.sh index cbd3cceb3d163..bc833648359fe 100755 --- a/build/integration/run.sh +++ b/build/integration/run.sh @@ -53,14 +53,8 @@ PHP_CLI_SERVER_WORKERS=2 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$" & -LOGPID=$! -echo $LOGPID - function cleanup() { kill $PHPPID - kill $LOGPID } trap cleanup EXIT