From fe8ee65deda6790f6fd7abc9f88ca58c44e49368 Mon Sep 17 00:00:00 2001
From: Jacek Kowalski <Jacek@jacekk.info>
Date: Fri, 21 Jun 2019 11:25:55 +0000
Subject: [PATCH] Add LICENSE and README.md

---
 lib/fetch.php |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/lib/fetch.php b/lib/fetch.php
index 9c54486..bb36a1a 100644
--- a/lib/fetch.php
+++ b/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');
 		}

--
Gitblit v1.9.1