
phpMyAdmin ' . PMA_VERSION . ''); ?>
0 ) { // robbat2: Use the verbose name of the server instead of the hostname // if a value is set if (!empty($cfg['Server']['verbose'])) { $server_info = $cfg['Server']['verbose']; } else { $server_info = $cfg['Server']['host']; $server_info .= (empty($cfg['Server']['port']) ? '' : ':' . $cfg['Server']['port']); } // loic1: skip this because it's not a so good idea to display sockets // used to everybody // if (!empty($cfg['Server']['socket']) && PMA_PHP_INT_VERSION >= 30010) { // $server_info .= ':' . $cfg['Server']['socket']; // } $res = PMA_DBI_query('SELECT USER();'); list($mysql_cur_user_and_host) = PMA_DBI_fetch_row($res); $mysql_cur_user = substr($mysql_cur_user_and_host, 0, strrpos($mysql_cur_user_and_host, '@')); PMA_DBI_free_result($res); unset($res, $row); $full_string = str_replace('%pma_s1%', '' . PMA_MYSQL_STR_VERSION . '', $strMySQLServerProcess); $full_string = str_replace('%pma_s2%', $server_info, $full_string); $full_string = str_replace('%pma_s3%', htmlspecialchars($mysql_cur_user_and_host), $full_string); echo '' . $full_string . '
' . "\n"; } // end if $server > 0 // Any message to display? if (isset($message)) { PMA_showMessage($message); unset($message); } /** * Reload mysql (flush privileges) */ if (($server > 0) && isset($mode) && ($mode == 'reload')) { $sql_query = 'FLUSH PRIVILEGES'; $result = PMA_DBI_query($sql_query); if ($result != 0) { $message = $strMySQLReloaded; } else { $show_error_header = TRUE; $message = $strReloadFailed; } PMA_showMessage($message); $show_error_header = FALSE; unset($result); unset($sql_query); unset($message); } ?>