Jacek Kowalski
2019-06-22 a3d09166cbbe6f8c62ad56d8432f4bc6dff0ed5b
lib/fetch.php
@@ -51,7 +51,7 @@
   
   $updated = FALSE;
   
   if($localSize != $remoteSize || $localTime < $remoteTime) {
   if($localTime < $remoteTime || ($localTime == $remoteTime && $localSize != $remoteSize)) {
      if(file_exists($file.'.tmp')) {
         unlink($file.'.tmp');
      }