From 5c3ded75d72aa316012af35542338f6590ec2e9e Mon Sep 17 00:00:00 2001
From: Justus Dieckmann <justusdieckmann@wwu.de>
Date: Fri, 17 Jul 2020 14:33:39 +0200
Subject: [PATCH] Delete backup files in file area after copying

---
 classes/local/manager/backup_manager.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/classes/local/manager/backup_manager.php b/classes/local/manager/backup_manager.php
index 4237213..e239bdc 100644
--- a/classes/local/manager/backup_manager.php
+++ b/classes/local/manager/backup_manager.php
@@ -76,6 +76,7 @@ class backup_manager {
             $file = $results['backup_destination'];
             if (!empty($file)) {
                 $file->copy_content_to($path . DIRECTORY_SEPARATOR . $archivefile);
+                $file->delete();
             }
             $bc->destroy();
             unset($bc);
-- 
GitLab