From 6bdea9960fae8357c96c3db89f54456d890451ff Mon Sep 17 00:00:00 2001
From: Ilia Rostovtsev <ilia@rostovtsev.io>
Date: Sun, 22 Dec 2019 17:14:12 +0300
Subject: [PATCH] Fix properly do redirects called to `/` from
 `theme_js_redirect`

---
 authentic.pm | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/authentic.pm b/authentic.pm
index 1cd5aec65..29f8d8195 100644
--- a/authentic.pm
+++ b/authentic.pm
@@ -62,6 +62,7 @@ sub theme_header
         print '<div class="header">
                 <div class="row">';
         print '<div data-header-left id="headln2l" class="invisible col-sm-4">';
+
         if (!$_[5] && !$tconfig{'noindex'}) {
             my @avail = &get_available_module_infos(1);
             my $nolo  = get_env('anonymous_user') ||
@@ -1264,7 +1265,14 @@ sub theme_js_redirect
     if ($url =~ /^\//) {
         $url = $gconfig{'webprefix'} . $url;
     }
-
+    if ($url eq "/" || $url eq "$gconfig{'webprefix'}/") {
+        my $module = dirname(get_env('script_name'));
+        if ($module ne '/') {
+            $url = "$gconfig{'webprefix'}$module";
+        } else {
+            $url = "$gconfig{'webprefix'}/sysinfo.cgi";
+        }
+    }
     return
 "$theme_text{'theme_xhred_global_redirecting'} <span class=\"loading-dots\"></span> <script type='text/javascript'>var v___theme_postponed_fetcher = setTimeout(function(){ get_pjax_content('"
       . quote_escape($url)