From c180ce9ea6f7ddff2c8d29bc68e7118ffcdb4f16 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicol=C3=B2=20Balzarotti?= <nicolo.balzarotti@iit.it>
Date: Tue, 21 Feb 2023 16:46:53 +0100
Subject: [PATCH] server.js: small temporary workaround

---
 dist/server.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dist/server.js b/dist/server.js
index 215ab3b..9a8c08a 100644
--- a/dist/server.js
+++ b/dist/server.js
@@ -354,6 +354,8 @@ On Exit: {{onexit}}<br>
 
 function stodate(value) {
     var date = new Date(0);
+    // Workaround an incompatibility with a temporary version, you can remove this "if"
+    if (value !== undefined) date.setSeconds(value);
     date.setSeconds(value);
     var timeString = date.toISOString().substring(11, 19);
     return timeString;