diff --git a/lib/plugins/config/admin.php b/lib/plugins/config/admin.php index 0d314d2e6df6508716cc6109601e66840d5422e0..930eb30c66304a040847a94ddd105b04babfa342 100644 --- a/lib/plugins/config/admin.php +++ b/lib/plugins/config/admin.php @@ -67,6 +67,8 @@ class admin_plugin_config extends DokuWiki_Admin_Plugin { $this->_close_session(); header("Location: ".wl($ID,array('do'=>'admin','page'=>'config'),true,'&')); exit(); + } elseif(!$this->_error) { + $this->_config->touch_settings(); // just touch to refresh cache } $this->_close_session(); diff --git a/lib/plugins/config/settings/config.class.php b/lib/plugins/config/settings/config.class.php index a30a0605b63b5e46384c4ce26f1bc09ed634024e..334e617dd4f6123caf8047d6f921a4bb6010611c 100644 --- a/lib/plugins/config/settings/config.class.php +++ b/lib/plugins/config/settings/config.class.php @@ -130,6 +130,15 @@ if (!class_exists('configuration')) { return true; } + /** + * Update last modified time stamp of the config file + */ + function touch_settings(){ + if ($this->locked) return false; + $file = end($this->_local_files); + return @touch($file); + } + function _read_config_group($files) { $config = array(); foreach ($files as $file) {