util/timer.lua
changeset 10985 e6c1e92cc7a7
parent 9565 acf74ad0b795
child 11268 2cdcf55c6dd5
--- a/util/timer.lua	Mon Jun 29 12:51:28 2020 +0100
+++ b/util/timer.lua	Mon Jun 29 16:37:58 2020 +0200
@@ -16,6 +16,11 @@
 local xpcall = require "util.xpcall".xpcall;
 local math_max = math.max;
 
+if server.timer then
+	-- The selected net.server implements this API, so defer to that
+	return server.timer;
+end
+
 local _ENV = nil;
 -- luacheck: std none