Merge pull request #5361 from dotty-staging/vscode-dotty-0.1.8

Fix LSP telemetry unique machine ID, release vscode-dotty 0.1.8

Author: smarter

project/Build.scala

@@ -987,7 +987,7 @@ object Build {
     settings(commonSettings).
     settings(
       EclipseKeys.skipProject := true,
-      version := "0.1.8-snapshot", // Keep in sync with package.json
+      version := "0.1.9-snapshot", // Keep in sync with package.json
       autoScalaLibrary := false,
       publishArtifact := false,
       includeFilter in unmanagedSources := NothingFilter | "*.ts" | "**.json",

vscode-dotty/package-lock.json

@@ -2,7 +2,7 @@
   "name": "dotty",
   "displayName": "Dotty Language Server",
   "description": "IDE integration for Dotty, the experimental Scala compiler",
-  "version": "0.1.8-snapshot",
+  "version": "0.1.9-snapshot",
   "license": "BSD-3-Clause",
   "publisher": "lampepfl",
   "repository": {

vscode-dotty/package.json

@@ -45,7 +45,7 @@ export class Tracer {
         this.maximumMessageSize = maximumMessageSize === undefined || maximumMessageSize < 0 ? 0 : maximumMessageSize | 0
 
         this.machineId = (() => {
-            const machineIdKey = 'tracing.machineId'
+            const machineIdKey = 'trace.machineId'
             function persisted(value: string): string {
                 ctx.extensionConfig.update(machineIdKey, value, vscode.ConfigurationTarget.Global)
                 return value