From: Johannes Truschnigg <johannes@truschnigg.info>
Date: Wed, 12 Jul 2023 16:58:56 +0000 (+0200)
Subject: isoutctime: emit milliseconds
X-Git-Url: https://johannes.truschnigg.info/gitweb/?a=commitdiff_plain;h=51fa2382ef554de4475a6fdd84c9769a8fe8562f;p=netconsole-rx

isoutctime: emit milliseconds
---

diff --git a/netconsole-rx.lua b/netconsole-rx.lua
index 6753771..d16d9ba 100755
--- a/netconsole-rx.lua
+++ b/netconsole-rx.lua
@@ -19,6 +19,12 @@ local socket = require("socket")
 local udpl = assert(socket.udp())
 
 
+function isoutctime()
+  local ts = socket.gettime()
+  return string.format("%s.%03.0f+00:00", os.date("!%Y-%m-%dT%T", ts), math.min(999, (ts % 1) * 1000))
+end
+
+
 function getpid()
   local line
   statfp = io.open("/proc/self/stat", "r")
@@ -83,11 +89,6 @@ function args_validate()
 end
 
 
-function isoutctime()
-  return os.date("!%Y-%m-%dT%TZ")
-end
-
-
 -- init --
 
 mypid = getpid()