Fix use of webprefix and javascript redirect.

diff --git a/ui-lib.pl b/ui-lib.pl
index 1ab71fa..947c6c3 100755 (executable)
--- a/ui-lib.pl
+++ b/ui-lib.pl
@@ -2397,6 +2397,10 @@ if (defined(&theme_js_redirect)) {
        return &theme_js_redirect(@_);
        }
 $window ||= "window";
+if ($url =~ /^\//) {
+       # If the URL is like /foo , add webprefix
+       $url = $gconfig{'webprefix'}.$url;
+       }
 return "<script>${window}.location = '".&quote_escape($url)."';</script>\n";
 }