JS config fallback

2023-04-21 13:31:57 +02:00
parent 21a69c7515
commit 95015aeb3a
1 changed files with 4 additions and 0 deletions
--- 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: "😎",