diff plugins/mod_disco.lua @ 12316:6bb2f660f689

util.poll: Add support for the poll() API Might be better than select(), more portable than epoll.
author Kim Alvefur <zash@zash.se>
date Wed, 23 Feb 2022 20:31:03 +0100
parents b3f040e57835
children 50fcd3879482
line wrap: on
line diff