mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-10-16 15:45:04 +08:00
Linux lets several sockets with SO_REUSEADDR bind the same port as long as none of them listens, so two xdist workers that drew the same random port could both reserve it while their apps were building. Listening right after the bind makes the reservation exclusive.