From d5b846421c11b8d3f7d0471851491f406f47a26f Mon Sep 17 00:00:00 2001
From: Tissevert <tissevert+devel@marvid.fr>
Date: Tue, 14 Jan 2020 22:07:05 +0100
Subject: [PATCH] Fix weirdly unsupported group name in Firefox by using only
 group index

---
 js/Main.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/js/Main.js b/js/Main.js
index b8fc9a2..778b6e6 100644
--- a/js/Main.js
+++ b/js/Main.js
@@ -5,10 +5,10 @@ import * as Hall from GUI.Screen.Hall;
 import * as Game from GUI.Screen.Game;
 import Save;
 
-var gamePath = window.location.pathname.match(/\/game\/(?<id>[0-9A-Fa-f]+)/);
+var gamePath = window.location.pathname.match(/\/game\/([0-9A-Fa-f]+)/);
 
 if(gamePath) {
-	var gameState = Save.get('games.state.Game#' + gamePath.groups.id);
+	var gameState = Save.get('games.state.Game#' + gamePath[1]);
 	if(gameState != undefined) {
 		Game.init(gameState);
 	} else {