Check also default config mtime (bug #1467620).

This commit is contained in:
Michal Čihař
2006-04-10 12:54:07 +00:00
parent 48c548e515
commit fd0bb46fa4
2 changed files with 8 additions and 0 deletions

View File

@@ -5,6 +5,10 @@ phpMyAdmin - Changelog
$Id$
$Source$
2006-04-10 Michal Čihař <michal@cihar.com>
* libraries/Config.class.php: Check also default config mtime (bug
#1467620).
2006-04-09 Marc Delisle <lem9@users.sourceforge.net>
* tbl_replace.php, libraries/dbi/mysqli.dbi.lib.php: bug #1255923,
detect and report silent truncation (mysqli only)

View File

@@ -27,6 +27,7 @@ class PMA_Config
* @var int source modification time
*/
var $source_mtime = 0;
var $default_source_mtime = 0;
/**
* @var boolean
@@ -286,6 +287,7 @@ class PMA_Config
function __wakeup()
{
if (file_exists($this->getSource()) && $this->source_mtime !== filemtime($this->getSource())
|| $this->default_source_mtime !== filemtime($this->default_source)
|| $this->error_config_file || $this->error_config_default_file) {
$this->settings = array();
$this->load($this->getSource());
@@ -318,6 +320,8 @@ class PMA_Config
}
include $this->default_source;
$this->default_source_mtime = filemtime($this->default_source);
$this->default_server = $cfg['Servers'][1];
unset($cfg['Servers']);