changes ws port

SoftVarE-Group · Oct 20, 2023 · aaadd08 · aaadd08
1 parent ccfc408
commit aaadd08
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/WebSocketLanguageServer/src/config.ts b/WebSocketLanguageServer/src/config.ts
@@ -1,6 +1,6 @@
 export default {
     languageServerBinary: 'lib/uvls',
     Z3Binary: '',
-    port: 30000,
+    port: 8010,
     languageServerPathName: '/pyright',
 };