0) {
$local_query = 'SELECT VERSION() as version, USER() as user';
$res = mysql_query($local_query) or mysql_die('', $local_query, FALSE, FALSE);
echo 'MySQL ' . mysql_result($res, 0, 'version') . ' ' . $strRunning . ' ' . $cfgServer['host'];
if (!empty($cfgServer['port'])) {
echo ':' . $cfgServer['port'];
}
if (!empty($cfgServer['socket'])) {
echo ':' . $cfgServer['socket'];
}
echo ' ' . $strRunningAs . ' ' . mysql_result($res, 0, 'user') . '
' . "\n";
} // end if
/**
* Reload mysql (flush privileges)
*/
if (($server > 0) && isset($mode) && ($mode == 'reload')) {
$result = mysql_query('FLUSH PRIVILEGES') or mysql_die('', 'FLUSH PRIVILEGES', FALSE);
echo '';
if ($result != 0) {
echo $strMySQLReloaded;
} else {
echo $strReloadFailed;
}
echo '
' . "\n\n";
}
/**
* Displays the MySQL servers choice form
*/
if ($server == 0 || count($cfgServers) > 1) {
?>
0
&& empty($cfgServer['only_db']))
{
?>
|
|
|
0)
/**
* Displays the phpMyAdmin related links
*/
?>
|
