@@ 375-379 (lines=5) @@ | ||
372 | { |
|
373 | $port = ((int) $_POST['db_port'] == ini_get($db_type . 'default_port')) ? '' : (int) $_POST['db_port']; |
|
374 | } |
|
375 | elseif ($db_type == 'postgresql') |
|
376 | { |
|
377 | // PostgreSQL doesn't have a default port setting in php.ini, so just check against the default |
|
378 | $port = ((int) $_POST['db_port'] == 5432) ? '' : (int) $_POST['db_port']; |
|
379 | } |
|
380 | } |
|
381 | ||
382 | if (!empty($port)) |
|
@@ 805-806 (lines=2) @@ | ||
802 | // For MySQL, we can get the "default port" from PHP. PostgreSQL has no such option though. |
|
803 | if (($db_type == 'mysql' || $db_type == 'mysqli') && $_POST['db_port'] != ini_get($db_type . '.default_port')) |
|
804 | $vars['db_port'] = (int) $_POST['db_port']; |
|
805 | elseif ($db_type == 'postgresql' && $_POST['db_port'] != 5432) |
|
806 | $vars['db_port'] = (int) $_POST['db_port']; |
|
807 | } |
|
808 | ||
809 | // God I hope it saved! |