Fix `/web` redirecting to `/web/web` in web UI (#13128)

Fixes #13127
lolsob-rspec
ThibG 2020-02-22 01:27:34 +01:00 committed by GitHub
parent 78c15db0fa
commit 13c00dc42c
1 changed files with 1 additions and 1 deletions

View File

@ -12,7 +12,7 @@ function main() {
if (window.history && history.replaceState) { if (window.history && history.replaceState) {
const { pathname, search, hash } = window.location; const { pathname, search, hash } = window.location;
const path = pathname + search + hash; const path = pathname + search + hash;
if (!(/^\/web[$/]/).test(path)) { if (!(/^\/web($|\/)/).test(path)) {
history.replaceState(null, document.title, `/web${path}`); history.replaceState(null, document.title, `/web${path}`);
} }
} }