From 907ef7f89aa2d2ddd12743ed4c9dd34f4b0bfada Mon Sep 17 00:00:00 2001
From: nicolasconnault <nicolasconnault>
Date: Fri, 12 Oct 2007 20:25:45 +0000
Subject: [PATCH] MDL-8605 using remove_dir instead of rmdir, which doesn't
 support deleting non-empty directories

---
 backup/lib.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/backup/lib.php b/backup/lib.php
index 05b267687c..2afe506b6a 100644
--- a/backup/lib.php
+++ b/backup/lib.php
@@ -149,7 +149,7 @@
                 return false;
             }
             else {
-                if (rmdir($dir_subdirs[$i]) == FALSE) {
+                if (remove_dir($dir_subdirs[$i]) == FALSE) {
                 return false;
                 }
             }
-- 
2.39.5