From 4bc6382e0a56f4a5f6e3b9b0458e365a4d973e43 Mon Sep 17 00:00:00 2001
From: Alex Povel <alex.povel@tuhh.de>
Date: Mon, 29 Mar 2021 17:01:07 +0200
Subject: [PATCH] Use ISO8601 date format

The manually formatted date string was very close to
ISO8601 already, so just it directly.
Conforms to standards, is much easier in code (less manual work),
and carries timezone information.
---
 tinystatus | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tinystatus b/tinystatus
index 2a9fa28..7335a23 100755
--- a/tinystatus
+++ b/tinystatus
@@ -108,7 +108,7 @@ for file in ${tmp}/ok/*.status; do
 done
 cat << EOF
 </ul>
-<p class=small> Last check: $(date +"%Y/%m/%d %H:%M:%S")</p>
+<p class=small> Last check: $(date -I'seconds')</p>
 EOF
 if [ -f "${incidentsfile}" ]; then
     echo '<h1>Incidents</h1>'