From ba1c0423e9ca8dbcdba2973fbc9db36ed5448c58 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Tue, 27 Aug 2024 14:49:51 +0200
Subject: [PATCH] fix for different base url

---
 index.html       | 2 +-
 server/index.mjs | 1 +
 vite.config.ts   | 1 +
 3 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 5a8d9481..c3a08ffd 100644
--- a/index.html
+++ b/index.html
@@ -20,6 +20,6 @@
         <!-- </p> -->
       </noscript>
     </div>
-    <script type="module" src="/client/src/index.tsx"></script>
+    <script type="module" src="client/src/index.tsx"></script>
   </body>
 </html>
diff --git a/server/index.mjs b/server/index.mjs
index 9a56f9b0..ebe126d8 100644
--- a/server/index.mjs
+++ b/server/index.mjs
@@ -47,6 +47,7 @@ app.use('/api/toolchain/*', (req, res, next) => {
   req.url = 'lean-toolchain'
   express.static(path.join(__dirname, '..', 'Projects', project))(req, res, next)
 })
+// Using the client files
 app.use(express.static(path.join(__dirname, '..', 'client', 'dist')))
 app.use(nocache())
 
diff --git a/vite.config.ts b/vite.config.ts
index 50a13ea9..5bbbf156 100644
--- a/vite.config.ts
+++ b/vite.config.ts
@@ -52,6 +52,7 @@ export default defineConfig({
     })
   ],
   publicDir: "client/public/",
+  base: "/", // setting this to `/leanweb/` means the server is now accessible at `localhost:3000/leanweb`
   server: {
     port: 3000,
     proxy: {