diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-25 18:40:57 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-01-25 18:40:57 +0000 |
commit | aa91a0268bae6deda964a9fdfcbdbd2d8ca5802f (patch) | |
tree | a26b4b5cd7f6b0fa5e301103cc8d91b37afbec82 /editors/code/.eslintrc.js | |
parent | a37091d2d0175b0999d6383d48f538cdbf0267a0 (diff) | |
parent | 03a1da9d469be92a0ec34c8673293811694b8449 (diff) |
Merge #7430
7430: Simplify file download code r=matklad a=lnicola
This avoids leaving the user with no LSP binary available if their network goes down during the download, and should not keep the current behavior: overwriting a running executable works on Unix and fails on Windows.
It also removes the `overwrite` argument, which is always enabled and wasn't working anyway.
Nominally closes #3896 (although that's already fixed)
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'editors/code/.eslintrc.js')
0 files changed, 0 insertions, 0 deletions