Skip to content

enh: do not retry API requests when the server name cannot be resolved - #125

Merged
paulmueller merged 1 commit into
DCOR-dev:mainfrom
paulmueller-agent:no-retry-name-resolution
Nov 4, 2026
Merged

enh: do not retry API requests when the server name cannot be resolved#125
paulmueller merged 1 commit into
DCOR-dev:mainfrom
paulmueller-agent:no-retry-name-resolution

Commits

  1. Commits on Nov 4, 2026