Changed port in config.jso

markducks · stefanogermano · commit 58fe70ccf129 · 2024-02-04T12:56:47.000+01:00
diff --git a/config_files/config.json b/config_files/config.json
@@ -13,7 +13,7 @@
     }
   },
   "server_properties": {
-    "port_number" : "443",
+    "port_number" : "1443",
     "cors_origins" : ["localhost"]
   },
   "output": {
