# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1679046663 0
# Node ID 788d4d91ef6b3d81bef117a19d8b6b117aabb3f4
# Parent  e690759c507287d701d9d3975b56c2820a3f76ab
libs/time: Add monotonic() if lua-system is available

diff -r e690759c5072 -r 788d4d91ef6b libs/time.lua
--- a/libs/time.lua	Fri Mar 17 09:27:27 2023 +0000
+++ b/libs/time.lua	Fri Mar 17 09:51:03 2023 +0000
@@ -3,6 +3,14 @@
 
 local socket_gettime = require "socket".gettime;
 
+local monotonic;
+
+local have_system_lib, system = pcall(require, "system");
+if have_system_lib then
+	monotonic = system.monotime;
+end
+
 return {
 	now = socket_gettime;
+	monotonic = monotonic;
 }