diff options
author | Zac Pullar-Strecker <[email protected]> | 2020-08-25 05:44:36 +0100 |
---|---|---|
committer | Zac Pullar-Strecker <[email protected]> | 2020-08-25 05:44:36 +0100 |
commit | b835f06cecd2189cb32a431fdb85245fbf53032a (patch) | |
tree | 8bb4ba65f4922e9cca571a7d4a7fa17d047ae779 /editors/code | |
parent | 452afaebe188251cd4403e56999bf8b58de4fba9 (diff) | |
parent | ef9cea945d5767e7c60d5931a7649a73caea23ad (diff) |
Merge remote-tracking branch 'upstream/master' into 503-hover-doc-links
Diffstat (limited to 'editors/code')
-rw-r--r-- | editors/code/src/net.ts | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/editors/code/src/net.ts b/editors/code/src/net.ts index 681eaa9c9..5eba2728d 100644 --- a/editors/code/src/net.ts +++ b/editors/code/src/net.ts | |||
@@ -134,6 +134,14 @@ async function downloadFile( | |||
134 | 134 | ||
135 | await pipeline(srcStream, destFileStream); | 135 | await pipeline(srcStream, destFileStream); |
136 | 136 | ||
137 | // Don't apply the workaround in fixed versions of nodejs, since the process | ||
138 | // freezes on them, the process waits for no-longer emitted `close` event. | ||
139 | // The fix was applied in commit 7eed9d6bcc in v13.11.0 | ||
140 | // See the nodejs changelog: | ||
141 | // https://github.com/nodejs/node/blob/master/doc/changelogs/CHANGELOG_V13.md | ||
142 | const [, major, minor] = /v(\d+)\.(\d+)\.(\d+)/.exec(process.version)!; | ||
143 | if (+major > 13 || (+major === 13 && +minor >= 11)) return; | ||
144 | |||
137 | await new Promise<void>(resolve => { | 145 | await new Promise<void>(resolve => { |
138 | destFileStream.on("close", resolve); | 146 | destFileStream.on("close", resolve); |
139 | destFileStream.destroy(); | 147 | destFileStream.destroy(); |