view util/time.lua @ 8321:73ff49a42ea8

mod_pep_plus: Advertise nodes with the correct JID (missed in ec605946e597) (thanks lovetox)
author Kim Alvefur <zash@zash.se>
date Fri, 13 Oct 2017 19:55:33 +0200
parents 72e48bddf617
children
line wrap: on
line source

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

local socket_gettime = require "socket".gettime;

return {
	now = socket_gettime;
}