From 49f7deed3a07d36ac7e3b02c9ccccfa9fd1279b2 Mon Sep 17 00:00:00 2001
From: Pieter Vander Vennet <pietervdvn@posteo.net>
Date: Tue, 17 Jan 2023 03:44:38 +0100
Subject: [PATCH] Use old port number '1234', this saves on updating all the
 docs

---
 vite.config.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/vite.config.js b/vite.config.js
index 8e0e27008..f7d60534a 100644
--- a/vite.config.js
+++ b/vite.config.js
@@ -14,4 +14,7 @@ module.exports = defineConfig({
       input,
     },
   },
+  server: {
+    port: 1234,
+  },
 })