From: moodler <moodler>
Date: Tue, 19 Jun 2007 16:18:35 +0000 (+0000)
Subject: Fix for plugin directories with no plugins  MDL-10170
X-Git-Url: http://git.mjollnir.org/gw?a=commitdiff_plain;h=f11b9a9ed48b747bbd5fe7d9298b88d050b1c441;p=moodle.git

Fix for plugin directories with no plugins  MDL-10170
---

diff --git a/lib/adminlib.php b/lib/adminlib.php
index eb349c3ce0..ff374f12d0 100644
--- a/lib/adminlib.php
+++ b/lib/adminlib.php
@@ -22,7 +22,8 @@ function upgrade_plugins($type, $dir, $return) {
     global $CFG, $db;
 
     if (!$plugs = get_list_of_plugins($dir) ) {
-        error('No '.$type.' plugins installed!');
+        notify('No '.$type.' plugins installed!');
+        return false;
     }
 
     $updated_plugins = false;