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