Code

retry when the request times out#3420

Code

Merged

forki merged 2 commits intomasterfsprojects/Paket:masterfrom retry-after-timeoutfsprojects/Paket:retry-after-timeoutCopy head branch name to clipboardNov 13, 2018

+24-11

Commits

Commits on Nov 11, 2018

• retry when the request times out, fixes #3419

  matthid

  committed
  a2c1566

• try again for "Connection reset by peer" or other socket-exceptions as well

  matthid

  committed
  047988a