make the 'RANDOM'-mysql-naming case insensitive; refs #1050

Signed-off-by: Michael Kaufmann (d00p) <d00p@froxlor.org>
This commit is contained in:
Michael Kaufmann (d00p)
2013-03-14 09:56:30 +01:00
parent 8db5e40661
commit eaba3c783a

View File

@@ -189,7 +189,7 @@ elseif($page == 'mysqls')
// Begin root-session
$db_root = new db($sql_root[$dbserver]['host'], $sql_root[$dbserver]['user'], $sql_root[$dbserver]['password'], '');
if ($settings['customer']['mysqlprefix'] == "RANDOM") {
if (strtoupper($settings['customer']['mysqlprefix']) == "RANDOM") {
$result = $db_root->query('SELECT `User` FROM mysql.user');
while ($row = $db_root->fetch_array($result)) {
$allsqlusers[] = $row[User];