This repository has been archived by the owner on Apr 26, 2024. It is now read-only.
Catch BrokenPipeError from metrics server, and log as a warning#14072
Merged
DMRobertson merged 3 commits intodevelopfrom dmr/catch-metric-pipe-errorsOct 7, 2022
+13-6
Commits
Commits on Oct 5, 2022
- committed
David Robertson - committedDavid Robertson
Commits on Oct 6, 2022
- authoredDavid Robertson