From 95015aeb3aed4f457081df0b934ff5f5c8dc2602 Mon Sep 17 00:00:00 2001
From: Eden Kirin <eden.kirin@intis.hr>
Date: Fri, 21 Apr 2023 13:31:57 +0200
Subject: [PATCH] JS config fallback

---
 frontend/js/frontend.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/frontend/js/frontend.js b/frontend/js/frontend.js
index 37159dd..c9d4524 100644
--- a/frontend/js/frontend.js
+++ b/frontend/js/frontend.js
@@ -1,3 +1,7 @@
+if (typeof FAIRHOPPER_WS_SERVER === "undefined") {
+    var FAIRHOPPER_WS_SERVER = "ws://127.0.0.1:8011";
+}
+
 const BOARD_ICONS = {
     PLAYER: "😀",
     PLAYER_ON_DESTINATION: "😎",