From a7e7df0ba43c5604485c96af6518fea9335fabea Mon Sep 17 00:00:00 2001
From: Bram <84628826+sys-256@users.noreply.github.com>
Date: Sun, 7 Jul 2024 15:34:49 +0200
Subject: [PATCH] Change server port

---
 worker.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/worker.js b/worker.js
index 749fe25..f5ea8d0 100644
--- a/worker.js
+++ b/worker.js
@@ -6,7 +6,7 @@ onmessage = (event) => { // Execute on message from the main script
     const [username, rigid, workerVer] = event.data;
 
     // Create a connection to the server
-    let socket = new WebSocket(`wss://magi.duinocoin.com:14808/`);
+    let socket = new WebSocket(`wss://magi.duinocoin.com:8443/`);
     
     socket.onmessage = (event) => { // Execute on message from the server
         if (event.data.startsWith(`3.`)) { // If the server sends it's version, it's ready to send a job