comparison: libs/time.lua
libs/time.lua
- changeset 440
- 14071b3a46df
- child 471
- 788d4d91ef6b
equal
deleted
inserted
replaced
| 439:6fc73ad6b1d2 | 440:14071b3a46df |
|---|---|
| 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 } |
