restore original port

This commit is contained in:
Óscar San José
2025-04-01 15:17:52 +02:00
parent 81a39f380a
commit 9b2eff88a6

View File

@@ -3,11 +3,11 @@ import runs_on
def test(codeql, java):
# This serves the "repo" directory on http://localhost:9428
command = ["python3", "-m", "http.server", "9428", "-b", "localhost"]
# This serves the "repo" directory on http://localhost:9427
command = ["python3", "-m", "http.server", "9427", "-b", "localhost"]
if runs_on.github_actions and runs_on.posix:
# On GitHub Actions, we try to run the server with higher priority
command = ["nice", "-n", "10"] + command
command = ["sudo", "nice", "-n", "10"] + command
repo_server_process = subprocess.Popen(
command, cwd="repo"
)