fixed bug: undefined index server ($GLOBALS['server'])

This commit is contained in:
Sebastian Mendel
2006-01-19 15:47:22 +00:00
parent 6b4f751e41
commit c51a55ec79
2 changed files with 48 additions and 46 deletions

View File

@@ -12,6 +12,8 @@ $Source$
libraries\transformations.lib.php,
libraries\transformations\text_plain__external.inc.php:
fixed bug #1409972 PHP 5.1.2 compatibility
* libraries\url_generating.lib.php:
fixed bug: undefined index server ($GLOBALS['server'])
2006-01-18 Michal Čihař <michal@cihar.com>
* Documentation.html: Add info about Apache CGI and http auth (patch

View File

@@ -169,8 +169,8 @@ function PMA_generate_common_url ($db = '', $table = '', $delim = '&amp;')
$delim = $separator;
}
if ( $GLOBALS['server'] != $GLOBALS['cfg']['ServerDefault']
&& ! empty( $GLOBALS['server'] ) ) {
if (isset($GLOBALS['server'])
&& $GLOBALS['server'] != $GLOBALS['cfg']['ServerDefault']) {
$params['server'] = $GLOBALS['server'];
}