# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1593443585 -7200
# Node ID 0862325842ecb36ac00f59c6505646a5c01d9880
# Parent  276f16101d594f2e968a3fb5468284957b330d55
net.server_epoll: Signal API-compatibilty with util.timer

Reduces the overhead of having both util.timer and the timer handling
here, since they are very similar and now API-compatible.

diff -r 276f16101d59 -r 0862325842ec net/server_epoll.lua
--- a/net/server_epoll.lua	Mon Jun 29 16:42:16 2020 +0200
+++ b/net/server_epoll.lua	Mon Jun 29 17:13:05 2020 +0200
@@ -896,6 +896,12 @@
 	addserver = addserver;
 	addclient = addclient;
 	add_task = addtimer;
+	timer = {
+		-- API-compatible with util.timer
+		add_task = addtimer;
+		stop = closetimer;
+		reschedule = reschedule;
+	};
 	listen = listen;
 	loop = loop;
 	closeall = closeall;