util/time.lua

   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 }