Skip to content

Conversation

@rhendric
Copy link
Member

@rhendric rhendric commented Dec 3, 2022

I can't imagine the purpose of this code that starts, and then cancels, a second download in parallel with the first. After recent changes to the internals of dl-tar, the cancellation was no longer effective, and the two download-and-extract processes ended up interfering with each other sometimes.

Removing this code seems strictly beneficial; maybe one day I'll regret this but right now I can't see a reason to keep it.

Fixes #37.

I can't imagine the purpose of this code that starts, and then cancels,
a second download in parallel with the first. After recent changes to
the internals of dl-tar, the cancellation was no longer effective, and
the two download-and-extract processes ended up interfering with each
other sometimes.

Removing this code seems strictly beneficial; maybe one day I'll regret
this but right now I can't see a reason to keep it.
@JordanMartinez JordanMartinez merged commit 25cee49 into purescript:master Dec 6, 2022
@rhendric rhendric deleted the rhendric/fix-37 branch December 6, 2022 15:49
@mrskug mrskug mentioned this pull request Dec 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Installer fails in docker

3 participants