diff options
| -rw-r--r-- | include/plugin.php | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/include/plugin.php b/include/plugin.php index 25fd32b4f..8196e8756 100644 --- a/include/plugin.php +++ b/include/plugin.php @@ -17,7 +17,12 @@ function uninstall_plugin($plugin){ }} if (! function_exists('install_plugin')){ -function install_plugin($plugin){ +function install_plugin($plugin) { + + // silently fail if plugin was removed + + if(! file_exists('addon/' . $plugin . '/' . $plugin . '.php')) + return false; logger("Addons: installing " . $plugin); $t = @filemtime('addon/' . $plugin . '/' . $plugin . '.php'); @include_once('addon/' . $plugin . '/' . $plugin . '.php'); @@ -32,9 +37,11 @@ function install_plugin($plugin){ intval($t), $plugin_admin ); + return true; } else { -// logger("Addons: FAILED installing " . $plugin); + logger("Addons: FAILED installing " . $plugin); + return false; } }} |