From e548dca68602b49b8c55344d2c96766b77850831 Mon Sep 17 00:00:00 2001 From: Fabian Homborg Date: Sat, 1 May 2021 15:05:17 +0200 Subject: [PATCH] Webconfig: Fix initial tab For some reason the url is now http://localhost:$PORT/$RANDOM/#!/$TAB while this created http://localhost:$PORT/$RANDOM/#$TAB which redirected to http://localhost:$PORT/$RANDOM/#!/colors#$TAB i.e. the "colors" tab with a useless unmatched anchor. --- share/tools/web_config/webconfig.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/share/tools/web_config/webconfig.py b/share/tools/web_config/webconfig.py index d766690dd..a71455972 100755 --- a/share/tools/web_config/webconfig.py +++ b/share/tools/web_config/webconfig.py @@ -1527,7 +1527,7 @@ if len(sys.argv) > 1: "abbreviations", ]: if tab.startswith(sys.argv[1]): - initial_tab = "#" + tab + initial_tab = "#!/" + tab break url = "http://localhost:%d/%s/%s" % (PORT, authkey, initial_tab)