From 978f77a82328250542c2baa73bc96a383501a269 Mon Sep 17 00:00:00 2001
From: Jacek Kowalski <Jacek@jacekk.info>
Date: Thu, 20 Jun 2019 19:54:48 +0000
Subject: [PATCH] Change logic determining whether the file on server was updated
---
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