util.time: New tiny library to abstract LuaSocket's gettime() function, so we can...

diff --git a/util/time.lua b/util/time.lua
new file mode 100644 (file)
index 0000000..84cff87
--- /dev/null
+++ b/util/time.lua
@@ -0,0 +1,8 @@
+-- Import gettime() from LuaSocket, as a way to access high-resolution time
+-- in a platform-independent way
+
+local socket_gettime = require "socket".gettime;
+
+return {
+       now = socket_gettime;
+}