fix metrics port

Author: zardoy

src/devtools.ts

@@ -242,7 +242,7 @@ function collectAndSendMetrics () {
 }
 
 function getWebSocketUrl () {
-  const wsPort = process.env.WS_SERVER
+  const wsPort = process.env.WS_PORT
   if (!wsPort) return null
 
   const protocol = window.location.protocol === 'https:' ? 'wss:' : 'ws:'

src/env.d.ts

@@ -3,7 +3,7 @@ declare namespace NodeJS {
     // Build configuration
     NODE_ENV: 'development' | 'production'
     SINGLE_FILE_BUILD?: string
-    WS_SERVER?: string
+    WS_PORT?: string
     DISABLE_SERVICE_WORKER?: string
     CONFIG_JSON_SOURCE?: 'BUNDLED' | 'REMOTE'
     LOCAL_CONFIG_FILE?: string