Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Moved the test-perf http server to a different port.

Browse source
This commit is contained in:
Alan Jeffrey 2017-12-04 12:47:32 -06:00
parent e4dba3abef
commit 79b104bde7
1 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

9
etc/ci/performance/test_all.sh
View file

@ -8,7 +8,12 @@ set -o errexit
set -o nounset
set -o pipefail
base="http://localhost:8000"
# We run the test-perf server on a port that WPT doesn't use,
# to avoid WPT failures caused by picking up the wrong http server.
# This was the root cause of a total test suite failure:
# https://groups.google.com/forum/#!topic/mozilla.dev.servo/JlAZoRgcnpA
port="8123"
base="http://localhost:${port}"
while (( "${#}" ))
do
@ -41,7 +46,7 @@ then echo "You didn't specify the engine to run: --servo or --gecko."; exit;
fi
echo "Starting the local server"
python3 -m http.server > /dev/null 2>&1 &
python3 -m http.server ${port} > /dev/null 2>&1 &
# TODO: enable the full manifest when #11087 is fixed
# https://github.com/servo/servo/issues/11087