diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2013-08-04 18:24:20 +0200 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2013-08-04 18:24:20 +0200 |
| commit | e45b5c14dbb09dd200d66ff21de1bba960113c68 (patch) | |
| tree | ebe1521a77c3ef44e979c932bafdfee3fec5b9a6 /lib/plugins/extension/helper | |
| parent | 141407788877f98d4acc6eabc7cc3e831eaa8317 (diff) | |
| download | rpg-e45b5c14dbb09dd200d66ff21de1bba960113c68.tar.gz rpg-e45b5c14dbb09dd200d66ff21de1bba960113c68.tar.bz2 | |
added connectivity recheck
Diffstat (limited to 'lib/plugins/extension/helper')
| -rw-r--r-- | lib/plugins/extension/helper/repository.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/plugins/extension/helper/repository.php b/lib/plugins/extension/helper/repository.php index 459d7cbec..a5012ccb5 100644 --- a/lib/plugins/extension/helper/repository.php +++ b/lib/plugins/extension/helper/repository.php @@ -65,7 +65,7 @@ class helper_plugin_extension_repository extends DokuWiki_Plugin { if ($this->has_access === null) { $cache = new cache('##extension_manager###hasAccess', 'repo'); $result = null; - if (!$cache->useCache(array('age' => 3600 * 24))) { + if (!$cache->useCache(array('age' => 3600 * 24, 'purge'=>1))) { $httpclient = new DokuHTTPClient(); $httpclient->timeout = 5; $data = $httpclient->get(EXTENSION_REPOSITORY_API.'?cmd=ping'); |