From f11b9a9ed48b747bbd5fe7d9298b88d050b1c441 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Tue, 19 Jun 2007 16:18:35 +0000
Subject: [PATCH] Fix for plugin directories with no plugins  MDL-10170

---
 lib/adminlib.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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;
-- 
2.39.5