| author | Matthew Wild <mwild1@gmail.com> |
| Sat, 17 Mar 2018 14:54:48 +0000 | |
| changeset 8618 | e77b37de482e |
| parent 7464 | 72e48bddf617 |
| permissions | -rw-r--r-- |
|
7464
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 |
} |