ckaczor/azuredatastudio
1
0
Fork 0
mirror of https://github.com/ckaczor/azuredatastudio.git synced 2026-02-02 01:25:39 -05:00
Code Issues Packages Projects Releases Wiki Activity

upgrade service downloader (#20703)

Browse Source 
* use new service downloader

* update other extensions

* fix errors
This commit is contained in:
Alan Ren
2022-10-02 20:30:53 -07:00
committed by GitHub
parent 85dc506a3c
commit 1df976d79d
19 changed files with 88 additions and 70 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
extensions/azuremonitor/src/azuremonitorServer.ts
View File

@@ -3,7 +3,7 @@
* Licensed under the Source EULA. See License.txt in the project root for license information.
*--------------------------------------------------------------------------------------------*/
import { ServerProvider, IConfig, Events } from '@microsoft/ads-service-downloader';
import { ServerProvider, IConfig, Events, LogLevel } from '@microsoft/ads-service-downloader';
import { ServerOptions, TransportKind } from 'vscode-languageclient';
import * as Constants from './constants';
import * as vscode from 'vscode';
@@ -75,7 +75,7 @@ export class AzureMonitorServer {
this.config.strictSSL = vscode.workspace.getConfiguration('http').get('proxyStrictSSL') || true;
const serverdownloader = new ServerProvider(this.config);
serverdownloader.eventEmitter.onAny(() => generateHandleServerProviderEvent());
serverdownloader.eventEmitter.onAny(generateHandleServerProviderEvent());
return serverdownloader.getOrDownloadServer();
}
@@ -94,7 +94,7 @@ function generateServerOptions(logPath: string, executablePath: string): ServerO
function generateHandleServerProviderEvent() {
let dots = 0;
return (e: string, ...args: any[]) => {
return (e: string | string[], ...args: any[]) => {
switch (e) {
case Events.INSTALL_START:
outputChannel.show(true);
@@ -122,6 +122,11 @@ function generateHandleServerProviderEvent() {
outputChannel.appendLine('');
outputChannel.appendLine(localize('downloadServiceDoneChannelMsg', "Downloaded {0}", Constants.serviceName));
break;
case Events.LOG_EMITTED:
if (args[0] >= LogLevel.Warning) {
outputChannel.appendLine(args[1]);
}
break;
default:
console.error(`Unknown event from Server Provider ${e}`);
break;