vscode/scripts/code-server.js

73 lines
1.9 KiB
JavaScript
Raw Normal View History

/*---------------------------------------------------------------------------------------------
* Copyright (c) Microsoft Corporation. All rights reserved.
* Licensed under the MIT License. See License.txt in the project root for license information.
*--------------------------------------------------------------------------------------------*/
// @ts-check
const cp = require('child_process');
const path = require('path');
const opn = require('opn');
const minimist = require('minimist');
async function main() {
2022-02-02 16:48:36 +00:00
const args = minimist(process.argv.slice(2), {
boolean: [
'help',
'launch'
]
2022-02-02 16:48:36 +00:00
});
2022-02-02 16:48:36 +00:00
if (args.help) {
console.log(
'./scripts/code-server.sh|bat [options]\n' +
' --launch Opens a browser'
);
startServer(['--help']);
2022-02-02 17:55:40 +00:00
return;
2022-02-02 16:48:36 +00:00
}
process.env['VSCODE_SERVER_PORT'] = '9888';
2022-02-02 16:48:36 +00:00
const serverArgs = process.argv.slice(2).filter(v => v !== '--launch');
const addr = await startServer(serverArgs);
2022-02-02 16:48:36 +00:00
if (args['launch']) {
opn(addr);
2022-02-02 16:48:36 +00:00
}
}
2022-02-02 16:48:36 +00:00
function startServer(programArgs) {
return new Promise((s, e) => {
const env = { ...process.env };
const entryPoint = path.join(__dirname, '..', 'out', 'server-main.js');
console.log(`Starting server: ${entryPoint} ${programArgs.join(' ')}`);
const proc = cp.spawn(process.execPath, [entryPoint, ...programArgs], { env, stdio: [process.stdin, null, process.stderr] });
proc.stdout.on('data', e => {
const data = e.toString();
2022-03-24 20:47:49 +00:00
process.stdout.write(data);
const m = data.match(/Web UI available at (.*)/);
if (m) {
s(m[1]);
}
});
proc.on('exit', (code) => process.exit(code));
process.on('exit', () => proc.kill());
process.on('SIGINT', () => {
proc.kill();
process.exit(128 + 2); // https://nodejs.org/docs/v14.16.0/api/process.html#process_signal_events
});
process.on('SIGTERM', () => {
proc.kill();
process.exit(128 + 15); // https://nodejs.org/docs/v14.16.0/api/process.html#process_signal_events
});
});
}
2022-02-02 16:48:36 +00:00
main();