Is there a common way to get the current time in or with milliseconds?
There is os.time(), but it only provides full seconds.
os.time()
I use LuaSocket to get more precision.
require "socket" print("Milliseconds: " .. socket.gettime()*1000)
This adds a dependency of course, but works fine for personal use (in benchmarking scripts for example).
1.4m articles
1.4m replys
5 comments
56.9k users