mirror/php-e107
1
0
Fork 0
mirror of https://github.com/e107inc/e107.git synced 2025-07-31 20:00:37 +02:00
Code Issues Releases Wiki Activity

No plugin manager caching in development environment

Browse Source
This commit is contained in:
SecretR
2014-03-12 16:06:29 +02:00
parent 737fc995c0
commit 9b636a9687
2 changed files with 10 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
e107_admin/plugin.php
View File

@@ -22,7 +22,7 @@ e107::coreLan('plugin', true);
$e_sub_cat = 'plug_manage';
define('PLUGIN_SHOW_REFRESH', FALSE);
define('PLUGIN_SCAN_INTERVAL', 360);
define('PLUGIN_SCAN_INTERVAL', $_SERVER['E_DEV'] ? 0 : 360);
global $user_pref;
@@ -167,7 +167,7 @@ function e_help()
{
return array(
'caption' => "Scan for Changes",
'text' => "Plugin folders are scanned every ".(PLUGIN_SCAN_INTERVAL / 60) ." minutes for changes. Click the button below to scan now.
'text' => "Plugin folders are scanned every ".(PLUGIN_SCAN_INTERVAL ? PLUGIN_SCAN_INTERVAL / 60 : 0) ." minutes for changes. Click the button below to scan now.
<p><a class='btn btn-mini btn-primary' href='".e_SELF."?refresh'>Refresh</a></p>"
);
}
@@ -944,6 +944,12 @@ class pluginManager{
function pluginCheck($force=false)
{
global $plugin;
if(!PLUGIN_SCAN_INTERVAL)
{
$plugin->update_plugins_table('update');
return;
}
if((time() > vartrue($_SESSION['nextPluginFolderScan'],0)) || $force == true)
{
@@ -2835,4 +2841,4 @@ exit;
}
}
?>
?>