diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-07-24 17:25:25 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-07-25 11:04:00 +0200 |
| commit | 46046066c6004c6cca363c1c11e13de650e9e101 (patch) | |
| tree | 2e053876f64b76ee1c486c5feb5d5252da2be997 /test/utils/run_test_server.py | |
| parent | 90ddcb1722c07aba3b92652fb407c4cae3c0cfa6 (diff) | |
| download | justbuild-46046066c6004c6cca363c1c11e13de650e9e101.tar.gz | |
test_server: avoid races
... by creating a file only once the server is ready and waiting
for that file instead of waiting a fixed period of time.
Diffstat (limited to 'test/utils/run_test_server.py')
| -rw-r--r-- | test/utils/run_test_server.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/utils/run_test_server.py b/test/utils/run_test_server.py index 23bfb523..a23207fe 100644 --- a/test/utils/run_test_server.py +++ b/test/utils/run_test_server.py @@ -41,6 +41,7 @@ if __name__ == "__main__": with HTTPServer((hostname, 0), HTTPHandler) as httpd: # print port number socket_info = httpd.socket.getsockname() - print(socket_info[1]) + with open(sys.argv[1], "w") as f: + f.write("%d" % (socket_info[1],)) # run server httpd.serve_forever() |