diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php index 0a74ba80402..eee66d68cf8 100644 --- a/htdocs/main.inc.php +++ b/htdocs/main.inc.php @@ -485,7 +485,7 @@ function top_menu($head, $title="", $target="") global $PHP_SELF; $class=""; if ($_SESSION["topmenu"] && $_SESSION["topmenu"] == "accueil") { $class="menusel"; } - elseif (ereg('^\/[^\\\/]+$',$PHP_SELF) || ereg('^\/user\/',$PHP_SELF) || ereg('^\/admin\/',$PHP_SELF)) { $class="menusel"; } + elseif (ereg("^".DOL_URL_ROOT."\/[^\\\/]+$",$PHP_SELF) || ereg("^".DOL_URL_ROOT."\/user\/",$PHP_SELF) || ereg("^".DOL_URL_ROOT."\/admin\/",$PHP_SELF)) { $class="menusel"; } print '
Accueil
'; // Sommet géré par gestionnaire de menu du haut