33
0
mirror of https://github.com/joomla-extensions/patchtester.git synced 2024-12-23 11:29:00 +00:00

[4.0] Fix PHP warning "failed to open stream: No such file or di… (#241)

[4.0] Fix PHP warning "failed to open stream: No such file or directory"
This commit is contained in:
Hannes Papenberg 2019-11-09 11:23:59 +01:00 committed by GitHub
commit 715b71793d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -248,7 +248,7 @@ class PullModel extends AbstractModel
File::delete($zipPath);
// Get files from deleted_logs
$deletedFiles = (file($delLogPath) ? file($delLogPath) : array());
$deletedFiles = (file_exists($delLogPath) ? file($delLogPath) : array());
$deletedFiles = array_map('trim', $deletedFiles);
if (file_exists($delLogPath))