Software /
code /
prosody
Annotate
util/time.lua @ 8361:6af950b834a6
rostermanager: Log warning if removal self-contact failed
author | Kim Alvefur <zash@zash.se> |
---|---|
date | Sun, 29 Oct 2017 00:07:45 +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 } |