libs/time.lua@73d4eb93657b
libs/time.lua
Thu, 16 Mar 2023 11:41:52 +0000
- author
- Matthew Wild <mwild1@gmail.com>
- date
- Thu, 16 Mar 2023 11:41:52 +0000
- changeset 457
- 73d4eb93657b
- parent 440
-
14071b3a46df
- child 471
-
788d4d91ef6b
- permissions
- -rw-r--r--
Update to use util.id for random ids instead of counters (thanks Zash)
-- 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;
}