0) {
$local_query = 'SELECT Version() as version';
$res_version = mysql_query($local_query) or mysql_die('', $local_query, FALSE, FALSE);
$row_version = mysql_fetch_array($res_version);
echo 'MySQL ' . $row_version['version'] . ' ' . $strRunning . ' ' . $cfgServer['host'];
if (!empty($cfgServer['port'])) {
echo ':' . $cfgServer['port'];
}
if (!empty($cfgServer['socket'])) {
echo ':' . $cfgServer['socket'];
}
echo "
\n";
}
/**
* 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
*/
?>
|
