ignore removed plugins

diff --git a/include/plugin.php b/include/plugin.php
index 25fd32b4f06139afbd5614dadd0c5cf1424651b4..8196e875615eddebe76eef39a19e958a11a241d9 100644 (file)
--- 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;
        }
 
 }}