diff options
| author | Thomas Steur <thomas.steur@gmail.com> | 2015-11-16 23:25:51 +0300 |
|---|---|---|
| committer | Thomas Steur <thomas.steur@gmail.com> | 2015-11-17 00:12:34 +0300 |
| commit | ea30714acff275cff51930d6f4312722e4cb2916 (patch) | |
| tree | f7e82e14e3185f6f10680fae2e97cd42334fcfc2 /core/Plugin/Manager.php | |
| parent | e90d8e45336809867bb84b1efd297e5dc748f96f (diff) | |
show an error message if installing a plugin fails
Diffstat (limited to 'core/Plugin/Manager.php')
| -rw-r--r-- | core/Plugin/Manager.php | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/core/Plugin/Manager.php b/core/Plugin/Manager.php index 010838acf8..150151ee3e 100644 --- a/core/Plugin/Manager.php +++ b/core/Plugin/Manager.php @@ -440,16 +440,10 @@ class Manager public function installLoadedPlugins() { Log::debug("Loaded plugins: " . implode(", ", array_keys($this->getLoadedPlugins()))); - $messages = array(); + foreach ($this->getLoadedPlugins() as $plugin) { - try { - $this->installPluginIfNecessary($plugin); - } catch (\Exception $e) { - $messages[] = $e->getMessage(); - } + $this->installPluginIfNecessary($plugin); } - - return $messages; } /** |