undefined $server

2008-05-04 12:41:26 +00:00
parent 51ea0c93c8
commit f0cd8feebe
1 changed files with 1 additions and 1 deletions
--- a/libraries/header.inc.php
+++ b/libraries/header.inc.php
@@ -64,7 +64,7 @@ if (empty($GLOBALS['is_header_sent'])) {
     * Display heading if needed. Design can be set in css file.
     */

-    if (PMA_DISPLAY_HEADING && $server > 0) {
+    if (PMA_DISPLAY_HEADING && $GLOBALS['server'] > 0) {
        $server_info = (!empty($GLOBALS['cfg']['Server']['verbose'])
                        ? $GLOBALS['cfg']['Server']['verbose']
                        : $GLOBALS['cfg']['Server']['host'] . (empty($GLOBALS['cfg']['Server']['port'])