development/vscode
development/vscode
1
0
Fork 0
mirror of https://github.com/Microsoft/vscode synced 2024-08-28 13:29:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

remove code-web.js

Browse source
This commit is contained in:
Martin Aeschlimann 2019-06-06 17:09:23 +02:00
parent 92f52852ef
commit 0c2c2a1712
2 changed files with 2 additions and 26 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
package.json
View file

@ -1,7 +1,7 @@
{
"name": "code-oss-dev",
"version": "1.36.0",
"distro": "415f5eedf507e8dba41c4207885dd6e63e7c4215",
"distro": "918cede47c2206e6eb3962671059151bd299874b",
"author": {
"name": "Microsoft Corporation"
},
@ -25,7 +25,7 @@
"download-builtin-extensions": "node build/lib/builtInExtensions.js",
"monaco-compile-check": "tsc -p src/tsconfig.monaco.json --noEmit",
"strict-initialization-watch": "tsc --watch -p src/tsconfig.json --noEmit --strictPropertyInitialization",
"web": "node resource/server/bin-dev/code-web.js",
"web": "node resources/server/bin-dev/code-web.js",
"install-server": "git checkout distro/distro -- src/vs/server resources/server && git reset HEAD src/vs/server resources/server"
},
"dependencies": {

24
scripts/code-web.js
View file

@ -1,24 +0,0 @@
/*---------------------------------------------------------------------------------------------
* Copyright (c) Microsoft Corporation. All rights reserved.
* Licensed under the MIT License. See License.txt in the project root for license information.
*--------------------------------------------------------------------------------------------*/
const opn = require('opn');
const cp = require('child_process');
const path = require('path');
const proc = cp.execFile(path.join(__dirname, process.platform === 'win32' ? 'remoteExtensionAgent.bat' : 'remoteExtensionAgent.sh'));
let launched = false;
proc.stdout.on("data", data => {
if (!launched && data.toString().indexOf('Extension host agent listening on 8000')) {
launched = true;
setTimeout(() => {
const url = 'http://127.0.0.1:8000';
console.log(`Open ${url} in your browser`);
opn(url);
}, 100);
}
});