libs/time.lua@a523535d8937
libs/time.lua
Thu, 16 Mar 2023 11:43:16 +0000
- author
- Matthew Wild <mwild1@gmail.com>
- date
- Thu, 16 Mar 2023 11:43:16 +0000
- changeset 460
- a523535d8937
- parent 440
- 14071b3a46df
- child 471
- 788d4d91ef6b
- permissions
- -rw-r--r--
client: Include xml:lang in stream header, if known
-- 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; }
