Skip to content

remoting: Server download connect timeout#44216

Merged
Veykril merged 2 commits intomainfrom
remote-download-connect-timeout
Dec 5, 2025
Merged

remoting: Server download connect timeout#44216
Veykril merged 2 commits intomainfrom
remote-download-connect-timeout

Conversation

@agu-z
Copy link
Contributor

@agu-z agu-z commented Dec 5, 2025

Sometimes machines are configured to drop outbound packets (rather than reject connections). In these cases, curl/wget just hang causing our download step to never complete. This PR adds a timeout of 10s for the connection (not the whole download), so that in situations like this we can fallback to our client-side download eventually.

Related to but doesn't fully fix: #43694 and #43718

Release Notes:

  • remote: Add 10s connect timeout for server download

@cla-bot cla-bot bot added the cla-signed The user has signed the Contributor License Agreement label Dec 5, 2025
@agu-z agu-z requested a review from Veykril December 5, 2025 14:04
@zed-industries-bot
Copy link
Contributor

zed-industries-bot commented Dec 5, 2025

Messages
📖

This PR includes links to the following GitHub Issues: #43694, #43718
If this PR aims to close an issue, please include a Closes #ISSUE line at the top of the PR body.

Generated by 🚫 dangerJS against 3936157

@agu-z agu-z force-pushed the remote-download-connect-timeout branch from 88310ea to 3936157 Compare December 5, 2025 14:34
Comment on lines +711 to +712
"--tries",
"1",
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

By default, wget retries up to 20 times! Given we don't retry at all with curl (which we always use over wget when available), I think we can disable this here. I'd rather fall back to the client-side download as soon as possible.

@Veykril Veykril merged commit c7ef302 into main Dec 5, 2025
23 checks passed
@Veykril Veykril deleted the remote-download-connect-timeout branch December 5, 2025 15:16
CherryWorm pushed a commit to CherryWorm/zed that referenced this pull request Dec 16, 2025
Sometimes machines are configured to drop outbound packets (rather than
reject connections). In these cases, curl/wget just hang causing our
download step to never complete. This PR adds a timeout of 10s for the
connection (not the whole download), so that in situations like this we
can fallback to our client-side download eventually.

Related to but doesn't fully fix:
zed-industries#43694 and
zed-industries#43718

Release Notes:

- remote: Add 10s connect timeout for server download
someone13574 pushed a commit to someone13574/zed that referenced this pull request Dec 16, 2025
Sometimes machines are configured to drop outbound packets (rather than
reject connections). In these cases, curl/wget just hang causing our
download step to never complete. This PR adds a timeout of 10s for the
connection (not the whole download), so that in situations like this we
can fallback to our client-side download eventually.

Related to but doesn't fully fix:
zed-industries#43694 and
zed-industries#43718

Release Notes:

- remote: Add 10s connect timeout for server download
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla-signed The user has signed the Contributor License Agreement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Remote connection to machine with HTTP proxy with zed fails

3 participants