From 50d6dc7a8512850ad98d13e5e367b6131c43a127 Mon Sep 17 00:00:00 2001 From: Rodolphe Quiedeville Date: Mon, 12 Jul 2004 14:34:16 +0000 Subject: [PATCH] Modif le lien de logout --- htdocs/main.inc.php | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php index 0ca11896f73..58d59328948 100644 --- a/htdocs/main.inc.php +++ b/htdocs/main.inc.php @@ -496,10 +496,14 @@ function top_menu($head, $title="", $target="") print ''; // Logout - print '' ; + print '' ; if (! $_SERVER["REMOTE_USER"]) // Propose ou non de se deloguer si authentication Apache ou non { - print ''.$user->login.'' ; + print ''.$user->login.'' ; + + print ''; + print 'Logout'; + } else {