Fix for plugin directories with no plugins MDL-10170

diff --git a/lib/adminlib.php b/lib/adminlib.php
index eb349c3ce0ebd1628f9b758ec06bbd746d0eb82f..ff374f12d0367d57c1f19aae1cba20b8a0ab55a0 100644 (file)
--- 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;