File

plugins/mod_unknown.lua @ 11761:dbf378dcf27b

net.server_epoll: Prevent removed timers from being readded In a case like this the timer would not be readded: addtimer(1, function(t, id) stop(id) return 1 end);
author Kim Alvefur <zash@zash.se>
date Tue, 31 Aug 2021 13:34:08 +0200
parent 6003:28a90f5fea46
line wrap: on
line source

-- Unknown platform stub
module:set_global();

-- TODO Do things that make sense if we don't know about the platform