Get server URL from the client preferences (vscode-trace-extension)

This allows to change the URL when running the vscode-trace-server
extension in conjunction with the vscode-trace-extension.

fixes #6

Signed-off-by: Bernd Hufmann <bernd.hufmann@ericsson.com>

Author: bhufmann

src/trace-server.ts

@@ -6,6 +6,7 @@ import * as vscode from 'vscode';
 // Based on github.com/eclipse-cdt-cloud/vscode-trace-extension/blob/master/vscode-trace-extension/package.json
 // -for naming consistency purposes across sibling extensions/settings:
 const section = 'trace-server.traceserver';
+const clientSection = 'trace-compass.traceserver';
 
 const key = 'pid';
 const millis = 10000;
@@ -128,8 +129,12 @@ export class TraceServer {
         return vscode.workspace.getConfiguration(section);
     }
 
+    private getClientSettings() {
+        return vscode.workspace.getConfiguration(clientSection);
+    }
+
     private getServerUrl() {
-        const from = this.getSettings();
+        const from = this.getClientSettings();
         return this.getUrl(from) + '/' + this.getApiPath(from);
     }