From 602f6d038ff35efdc46c9f36013aa1a84f96faae Mon Sep 17 00:00:00 2001 From: Mark Crane Date: Sun, 1 Dec 2013 07:17:28 +0000 Subject: [PATCH] Remove a file_exists where it didn't belong. --- resources/classes/install.php | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/resources/classes/install.php b/resources/classes/install.php index a086365aed..5d89e98c0c 100644 --- a/resources/classes/install.php +++ b/resources/classes/install.php @@ -50,9 +50,7 @@ include "root.php"; while(false !== ($file = readdir($dir))) { if (($file != '.') && ($file != '..')) { if (is_dir($src.'/'.$file)) { - if (!file_exists($dst.'/'.$file)) { - $this->recursive_copy($src.'/'.$file, $dst.'/'.$file); - } + $this->recursive_copy($src.'/'.$file, $dst.'/'.$file); } else { //copy only missing files