From 5efdfdbdd7de643124f4f39816e4b3ead35c8239 Mon Sep 17 00:00:00 2001
From: Tobias Reischmann <tobias.reischmann@wi.uni-muenster.de>
Date: Mon, 9 Dec 2019 17:11:38 +0100
Subject: [PATCH] Replaced '/' by DIRECTORY_SEPARATOR to also support non-unix
systems
---
classes/local/manager/backup_manager.php | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/classes/local/manager/backup_manager.php b/classes/local/manager/backup_manager.php
index ab73464..b7c8a2a 100644
--- a/classes/local/manager/backup_manager.php
+++ b/classes/local/manager/backup_manager.php
@@ -75,13 +75,13 @@ class backup_manager {
/* @var $file \stored_file instance of the backup file*/
$file = $results['backup_destination'];
if (!empty($file)) {
- $file->copy_content_to($path . '/' . $archivefile);
+ $file->copy_content_to($path . DIRECTORY_SEPARATOR . $archivefile);
}
$bc->destroy();
unset($bc);
// First check if the file was created.
- if (!file_exists($path . '/' . $archivefile)) {
+ if (!file_exists($path . DIRECTORY_SEPARATOR . $archivefile)) {
return false;
}
@@ -110,14 +110,14 @@ class backup_manager {
$backuprecord = $DB->get_record('tool_lifecycle_backups', array('id' => $backupid));
// Check if backup tmp dir exists.
- $backuptmpdir = $CFG->tempdir . '/backup';
+ $backuptmpdir = $CFG->tempdir . DIRECTORY_SEPARATOR . 'backup';
if (!check_dir_exists($backuptmpdir, true, true)) {
throw new \restore_controller_exception('cannot_create_backup_temp_dir');
}
// Create the file location in the backup temp.
$targetfilename = \restore_controller::get_tempdir_name($backuprecord->courseid, get_admin()->id);
- $target = $backuptmpdir . '/' . $targetfilename;
+ $target = $backuptmpdir . DIRECTORY_SEPARATOR . $targetfilename;
// Create the location of the actual backup file.
$source = get_config('tool_lifecycle', 'backup_path') . DIRECTORY_SEPARATOR . $backuprecord->backupfile;
// Check if the backup file exists.
--
GitLab