diff options
Diffstat (limited to 'build/integration/run.sh')
| -rwxr-xr-x | build/integration/run.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/build/integration/run.sh b/build/integration/run.sh index 5456a784404..bd2c2856ac7 100755 --- a/build/integration/run.sh +++ b/build/integration/run.sh @@ -13,7 +13,16 @@ php -S localhost:$PORT -t ../.. & PHPPID=$! echo $PHPPID +PORT_FED=$((8180 + $EXECUTOR_NUMBER)) +echo $PORT_FED +php -S localhost:$PORT_FED -t ../.. & +PHPPID_FED=$! +echo $PHPPID_FED + export TEST_SERVER_URL="http://localhost:$PORT/ocs/" +export TEST_SERVER_FED_URL="http://localhost:$PORT_FED/ocs/" + vendor/bin/behat -f junit -f pretty kill $PHPPID +kill $PHPPID_FED |