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

Fixes #13127
main
ThibG 5 years ago committed by GitHub
parent 983ab40086
commit 0f07218e53
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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

Loading…
Cancel
Save