Fix even more

diff --git a/header.php b/header.php
index ebc4c1cfed60544c88d22381cbf179d7eb31739f..86fd721a6ba7025414093a2965a064a22e86543a 100644 (file)
--- a/header.php
+++ b/header.php
@@ -34,7 +34,8 @@ $active_page = NULL;
 foreach ($pages as $name => $page)
 {
        $script = $_SERVER['SCRIPT_FILENAME'];
-       if ((str_ends_with($script, BASE_URL . "index.php") && BASE_URL != "/") || !strlen($page))
+       $tok = split($script, "/");
+       if ((str_ends_with($script, BASE_URL . "index.php") && !strlen($tok[0])) || !strlen($page))
        {
                $active_page = "";
        }