Comparison

util/time.lua @ 7462:ced4e800f42a

Merge 0.10->trunk
author Matthew Wild <mwild1@gmail.com>
date Tue, 28 Jun 2016 14:54:43 +0100
parent 7461:72e48bddf617
comparison
equal deleted inserted replaced
7456:76a8456cf1e2 7462:ced4e800f42a
1 -- Import gettime() from LuaSocket, as a way to access high-resolution time
2 -- in a platform-independent way
3
4 local socket_gettime = require "socket".gettime;
5
6 return {
7 now = socket_gettime;
8 }