diff --git a/lib/classes/PluginAdministration.php b/lib/classes/PluginAdministration.php index 8ac5fa80fceb8725603dc71cd4e3c0769c13adda..faba3ecc9a32c4289ae570640a783a74af550f47 100644 --- a/lib/classes/PluginAdministration.php +++ b/lib/classes/PluginAdministration.php @@ -452,17 +452,14 @@ class PluginAdministration } // determine the plugin path - $basepath = Config::get()->PLUGINS_PATH; $pluginpath = $origin . '/' . $pluginclass; - $pluginregistered = $plugin_manager->getPluginInfo($pluginclass); - - if ($pluginregistered) { - throw new PluginInstallationException(_('Das Plugin ist bereits registriert.')); - } - // create database schema if needed - $this->createDBSchema($plugindir, $manifest, $pluginregistered); + $this->createDBSchema( + $plugindir, + $manifest, + (bool) $plugin_manager->getPluginInfo($pluginclass) + ); // now register the plugin in the database $pluginid = $plugin_manager->registerPlugin($manifest['pluginname'], $pluginclass, $pluginpath);