Microsoft/vscode
1
0
Fork 0
mirror of https://github.com/microsoft/vscode.git synced 2026-06-04 14:46:07 +01:00
Code Issues Packages Projects Releases Wiki Activity

Piping into Code fails if data writes delayed (fix #155341) (#156973)

Browse Source
This commit is contained in:
Benjamin Pasero
2022-08-03 09:41:12 +02:00
committed by GitHub
parent 8125126a03
commit f8ae10c8d0
3 changed files with 17 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/vs/server/node/server.cli.ts
+5 -4
View File
@@ -87,7 +87,7 @@ const cliRemoteAuthority = process.env['VSCODE_CLI_AUTHORITY'] as string;
const cliStdInFilePath = process.env['VSCODE_STDIN_FILE_PATH'] as string;
export function main(desc: ProductDescription, args: string[]): void {
export async function main(desc: ProductDescription, args: string[]): Promise<void> {
if (!cliPipe && !cliCommand) {
console.log('Command is only available in WSL or inside a Visual Studio Code terminal.');
return;
@@ -184,7 +184,7 @@ export function main(desc: ProductDescription, args: string[]): void {
let stdinFilePath = cliStdInFilePath;
if (!stdinFilePath) {
stdinFilePath = getStdinFilePath();
readFromStdin(stdinFilePath, verbose); // throws error if file can not be written
await readFromStdin(stdinFilePath, verbose); // throws error if file can not be written
}
// Make sure to open tmp file
@@ -460,5 +460,6 @@ function mapFileToRemoteUri(uri: string): string {
}
const [, , productName, version, commit, executableName, ...remainingArgs] = process.argv;
main({ productName, version, commit, executableName }, remainingArgs);
main({ productName, version, commit, executableName }, remainingArgs).then(null, err => {
console.error(err.message || err.stack || err);
});