diff core/portmanager.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 8119a58b3a5c
children 7e9ebdc75ce4
line wrap: on
line diff