From d7a3feb6f377431e2c445873816f7e42deeae624 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 eed6c50..c80c6d9 100755
--- a/tinystatus
+++ b/tinystatus
@@ -106,7 +106,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>'