diff -r e690759c5072 -r 788d4d91ef6b libs/time.lua --- a/libs/time.lua Fri Mar 17 09:27:27 2023 +0000 +++ b/libs/time.lua Fri Mar 17 09:51:03 2023 +0000 @@ -3,6 +3,14 @@ local socket_gettime = require "socket".gettime; +local monotonic; + +local have_system_lib, system = pcall(require, "system"); +if have_system_lib then + monotonic = system.monotime; +end + return { now = socket_gettime; + monotonic = monotonic; }