build

httpserver: Fix race condition in server startup #1246

Job	Run time
Coding style checks	19s
Test doc build	17s
Test with python 3.11 / ubuntu-latest	41s
Test with python 3.14 / ubuntu-latest	38s
Test with python 3.10 / ubuntu-latest	35s
Test with python 3.13 / ubuntu-latest	34s
Test with python 3.12 / ubuntu-latest	33s
Test with python 3.14 / windows-latest	2m 10s
	5m 47s

Provide feedback