libs/time.lua

Fri, 17 Mar 2023 11:15:18 +0000

author
Matthew Wild <mwild1@gmail.com>
date
Fri, 17 Mar 2023 11:15:18 +0000
changeset 475
68a4fb45afbc
parent 471
788d4d91ef6b
permissions
-rw-r--r--

disco: Fire disco-info-changed when necessary, move presence resending there

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