From 24f0555d92381981dc1931116e047217555f7e27 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Tue, 8 Jan 2019 16:59:55 +0100
Subject: [PATCH] reindex document also if creation time is equal to content
 creation time

---
 utils/indexer.php                 | 2 +-
 views/bootstrap/class.Indexer.php | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/utils/indexer.php b/utils/indexer.php
index db39597aa..9d9f75686 100644
--- a/utils/indexer.php
+++ b/utils/indexer.php
@@ -105,7 +105,7 @@ function tree($dms, $index, $indexconf, $folder, $indent='') { /* {{{ */
 				$created = 0;
 			}
 			$content = $document->getLatestContent();
-			if($created >= $content->getDate()) {
+			if($created > $content->getDate()) {
 				echo " (Document unchanged)\n";
 			} else {
 				$index->delete($hit->id);
diff --git a/views/bootstrap/class.Indexer.php b/views/bootstrap/class.Indexer.php
index 31a2a62da..fc35be2bc 100644
--- a/views/bootstrap/class.Indexer.php
+++ b/views/bootstrap/class.Indexer.php
@@ -152,7 +152,7 @@ $(document).ready( function() {
 				 */
 			} else {
 				/* Check if the attribute created is set or has a value older
-				 * than the lasted content. Documents without such an attribute
+				 * than the lastet content. Documents without such an attribute
 				 * where added when a new document was added to the dms. In such
 				 * a case the document content  wasn't indexed.
 				 */
@@ -162,7 +162,7 @@ $(document).ready( function() {
 					$created = 0;
 				}
 				$content = $document->getLatestContent();
-				if($created >= $content->getDate() && !$forceupdate) {
+				if($created > $content->getDate() && !$forceupdate) {
 					echo $indent."<span id=\"status_".$document->getID()."\" class=\"indexstatus\" data-docid=\"".$document->getID()."\">document unchanged</span>";
 				} else {
 					$index->delete($hit->id);