diff util/random.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 af8c514e5cf7
children e54b8a5e35ad
line wrap: on
line diff