]> granicus.if.org Git - pdns/commitdiff
Merge pull request #7383 from rgacogne/rec-retry-on-full-pipe
authorPieter Lexis <pieterlexis@users.noreply.github.com>
Fri, 18 Jan 2019 09:43:19 +0000 (10:43 +0100)
committerGitHub <noreply@github.com>
Fri, 18 Jan 2019 09:43:19 +0000 (10:43 +0100)
rec: Try another worker before failing if the first pipe was full


Trivial merge