maxmustermann/vscode
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Small tweaks

Browse source
This commit is contained in:
Alex Dima 2021-11-20 13:04:52 +01:00
parent 6bfc0b14bc
commit 27a61bd985
No known key found for this signature in database
GPG key ID: 39563C1504FDD0C9
2 changed files with 16 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/vs/server/remoteExtensionHostAgentServer.ts
View file

@ -914,12 +914,12 @@ export class RemoteExtensionHostAgentServer extends Disposable {
function parseConnectionToken(args: ServerParsedArgs): { connectionToken: string; connectionTokenIsMandatory: boolean; } {
if (args['connectionToken']) {
console.warn(`The argument connectionToken is deprecated, please use connection-token instead`);
console.warn(`The argument '--connectionToken' is deprecated, please use '--connection-token' instead`);
}
if (args['connection-secret']) {
if (args['connection-token']) {
console.warn(`Please do not use the argument connection-token at the same time as connection-secret.`);
console.warn(`Please do not use the argument '--connection-token' at the same time as '--connection-secret'.`);
process.exit(1);
}
let rawConnectionToken = fs.readFileSync(args['connection-secret']).toString();

17
src/vs/server/serverEnvironmentService.ts
View file

@ -12,7 +12,8 @@ import { IEnvironmentService, INativeEnvironmentService } from 'vs/platform/envi
export const serverOptions: OptionDescriptions<ServerParsedArgs> = {
'port': { type: 'string' },
'pick-port': { type: 'string' },
'connection-token': { type: 'string' },
'connectionToken': { type: 'string' }, // deprecated in favor of `--connection-token`
'connection-token': { type: 'string', description: nls.localize('connection-token', "A secret that must be included by the web client with all requests.") },
'connection-secret': { type: 'string', description: nls.localize('connection-secret', "Path to file that contains the connection token. This will require that all incoming connections know the secret.") },
'host': { type: 'string' },
'socket-path': { type: 'string' },
@ -59,12 +60,22 @@ export const serverOptions: OptionDescriptions<ServerParsedArgs> = {
export interface ServerParsedArgs {
port?: string;
'connection-token'?: string;
'pick-port'?: string;
/**
* @deprecated use `connection-token` instead
*/
connectionToken?: string;
'pick-port'?: string;
/**
* A secret token that must be provided by the web client with all requests.
* Use only `[0-9A-Za-z\-]`.
*
* By default, a UUID will be generated every time the server starts up.
*
* If the server is running on a multi-user system, then consider
* using `--connection-secret` which has the advantage that the token cannot
* be seen by other users using `ps` or similar commands.
*/
'connection-token'?: string;
/**
* A path to a filename which will be read on startup.
* Consider placing this file in a folder readable only by the same user (a `chmod 0700` directory).