# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1489030632 -3600
# Node ID 6b1f46730217c1b69d7f87aa1b29f31ea5b52851
# Parent  8ad1fe9d26d4719f1de500ebc3d8f7ce6374cca8
util.time: Add monotonic time

diff -r 8ad1fe9d26d4 -r 6b1f46730217 util-src/time.c
--- a/util-src/time.c	Thu Mar 09 04:34:28 2017 +0100
+++ b/util-src/time.c	Thu Mar 09 04:37:12 2017 +0100
@@ -14,11 +14,20 @@
 	return 1;
 }
 
+int lc_time_monotonic(lua_State *L) {
+	struct timespec t;
+	clock_gettime(CLOCK_MONOTONIC, &t);
+	lua_pushnumber(L, tv2number(&t));
+	return 1;
+}
+
 int luaopen_util_time(lua_State *L) {
 	lua_createtable(L, 0, 2);
 	{
 		lua_pushcfunction(L, lc_time_realtime);
 		lua_setfield(L, -2, "now");
+		lua_pushcfunction(L, lc_time_monotonic);
+		lua_setfield(L, -2, "monotonic");
 	}
 	return 1;
 }