Software /
code /
prosody
Annotate
util/time.lua @ 8700:d611c46c6787
Backed out changeset a0f728c3aa69 in favor of 580c13ed0ca1
author | Kim Alvefur <zash@zash.se> |
---|---|
date | Thu, 29 Mar 2018 16:57:18 +0200 |
parent | 7461:72e48bddf617 |
rev | line source |
---|---|
7461
72e48bddf617
util.time: New tiny library to abstract LuaSocket's gettime() function, so we can use other sources in the future
Matthew Wild <mwild1@gmail.com>
parents:
diff
changeset
|
1 -- Import gettime() from LuaSocket, as a way to access high-resolution time |
72e48bddf617
util.time: New tiny library to abstract LuaSocket's gettime() function, so we can use other sources in the future
Matthew Wild <mwild1@gmail.com>
parents:
diff
changeset
|
2 -- in a platform-independent way |
72e48bddf617
util.time: New tiny library to abstract LuaSocket's gettime() function, so we can use other sources in the future
Matthew Wild <mwild1@gmail.com>
parents:
diff
changeset
|
3 |
72e48bddf617
util.time: New tiny library to abstract LuaSocket's gettime() function, so we can use other sources in the future
Matthew Wild <mwild1@gmail.com>
parents:
diff
changeset
|
4 local socket_gettime = require "socket".gettime; |
72e48bddf617
util.time: New tiny library to abstract LuaSocket's gettime() function, so we can use other sources in the future
Matthew Wild <mwild1@gmail.com>
parents:
diff
changeset
|
5 |
72e48bddf617
util.time: New tiny library to abstract LuaSocket's gettime() function, so we can use other sources in the future
Matthew Wild <mwild1@gmail.com>
parents:
diff
changeset
|
6 return { |
72e48bddf617
util.time: New tiny library to abstract LuaSocket's gettime() function, so we can use other sources in the future
Matthew Wild <mwild1@gmail.com>
parents:
diff
changeset
|
7 now = socket_gettime; |
72e48bddf617
util.time: New tiny library to abstract LuaSocket's gettime() function, so we can use other sources in the future
Matthew Wild <mwild1@gmail.com>
parents:
diff
changeset
|
8 } |