change port to 3000

leanprover-community · Oct 25, 2023 · 3b98f40 · 3b98f40
1 parent ab0a394
commit 3b98f40
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/vite.config.ts b/vite.config.ts
@@ -17,6 +17,7 @@ export default defineConfig({
     })],
   publicDir: "client/public",
   server: {
+    port: 3000,
     proxy: {
       '/websocket': {
         target: 'ws://localhost:8080',