libs/time.lua

Tue, 23 May 2023 19:41:27 +0200

author
Kim Alvefur <zash@zash.se>
date
Tue, 23 May 2023 19:41:27 +0200
changeset 488
33c922e48b57
parent 471
788d4d91ef6b
permissions
-rw-r--r--

util.xstanza: Remove, unused since c95b84ed366b

-- Import gettime() from LuaSocket, as a way to access high-resolution time
-- in a platform-independent way

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;
}

mercurial