From: Paul Hänsch <paul@plutz.net>
Date: Fri, 22 Sep 2023 09:28:48 +0000 (+0200)
Subject: eliminate race condition in index time stamping
X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=0befccc1274549229b77d50c1b8b24d6c4cf5403;hp=0054bedc4d290102bb839f81da9dc3a44e3bf679;p=shellwiki

eliminate race condition in index time stamping
---

diff --git a/parsers/40_indexer.sh b/parsers/40_indexer.sh
index 3cfc72c..ec7be4a 100755
--- a/parsers/40_indexer.sh
+++ b/parsers/40_indexer.sh
@@ -25,7 +25,7 @@ fi
 
 exec 3>&1
 
-touch "$P/#index.flag"
+touch -d "@$_DATE" "$P/#index.flag"
 mkdir -p "$I"
 
 { cat; printf \\n; } \