mirror of
https://github.com/Microsoft/vscode
synced 2024-08-26 20:39:37 +00:00
Use 2018 as target for extensions since we are now running on node 10
This commit is contained in:
parent
4eb65f974d
commit
a2eee79774
|
@ -1,11 +1,7 @@
|
||||||
{
|
{
|
||||||
"compilerOptions": {
|
"compilerOptions": {
|
||||||
"target": "es2017",
|
"target": "es2018",
|
||||||
"module": "commonjs",
|
"module": "commonjs",
|
||||||
"lib": [
|
|
||||||
"es6",
|
|
||||||
"es2015.promise"
|
|
||||||
],
|
|
||||||
"strict": true,
|
"strict": true,
|
||||||
"alwaysStrict": true,
|
"alwaysStrict": true,
|
||||||
"noImplicitAny": true,
|
"noImplicitAny": true,
|
||||||
|
|
|
@ -157,8 +157,7 @@ class GetErrRequest {
|
||||||
};
|
};
|
||||||
|
|
||||||
client.executeAsync('geterr', args, _token.token)
|
client.executeAsync('geterr', args, _token.token)
|
||||||
.catch(() => true)
|
.finally(() => {
|
||||||
.then(() => {
|
|
||||||
if (this._done) {
|
if (this._done) {
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue