Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
rec-4.1.x: Try another worker before failing if the first pipe was full #7377
When the recursor is configured to distribute incoming queries to its worker threads itself, and in the unlikely case that the pipe to the selected thread is full, randomly select another worker to handle the query. If this one fails too, we give up.
Same PR than #7383 but for rel/rec-4.1.x.