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

connection token support

Browse Source
This commit is contained in:
Connor Peet
2026-03-17 10:01:53 -07:00
parent f48e040708
commit f2f31ca7ea
8 changed files with 106 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
scripts/code-agent-host.js
View File

@@ -11,8 +11,8 @@ const minimist = require('minimist');
async function main() {
const args = minimist(process.argv.slice(2), {
boolean: ['help', 'enable-mock-agent', 'quiet'],
string: ['port', 'log'],
boolean: ['help', 'enable-mock-agent', 'quiet', 'without-connection-token'],
string: ['port', 'log', 'connection-token', 'connection-token-file'],
});
if (args.help) {
@@ -20,11 +20,14 @@ async function main() {
'Usage: ./scripts/code-agent-host.sh [options]\n' +
'\n' +
'Options:\n' +
' --port <number> Port to listen on (default: 8081, or VSCODE_AGENT_HOST_PORT env)\n' +
' --enable-mock-agent Enable the mock agent for testing\n' +
' --quiet Suppress logging output\n' +
' --log <level> Log level to use (trace, debug, info, warning, error, off)\n' +
' --help Show this help message',
' --port <number> Port to listen on (default: 8081, or VSCODE_AGENT_HOST_PORT env)\n' +
' --connection-token <token> A secret that must be included with all requests\n' +
' --connection-token-file <path> Path to a file containing the connection token\n' +
' --without-connection-token Run without a connection token\n' +
' --enable-mock-agent Enable the mock agent for testing\n' +
' --quiet Suppress logging output\n' +
' --log <level> Log level to use (trace, debug, info, warning, error, off)\n' +
' --help Show this help message',
);
return;
}
@@ -42,6 +45,15 @@ async function main() {
if (args.log) {
serverArgs.push('--log', String(args.log));
}
if (args['connection-token']) {
serverArgs.push('--connection-token', String(args['connection-token']));
}
if (args['connection-token-file']) {
serverArgs.push('--connection-token-file', String(args['connection-token-file']));
}
if (args['without-connection-token']) {
serverArgs.push('--without-connection-token');
}
const addr = await startServer(serverArgs);
console.log(`Agent Host server listening on ${addr}`);