• changeset
• raw

changeset

new linux event_send implementation, replace event pipes with eventfd

Tue, 13 Aug 2024 19:59:42 +0200

author

Olaf Wintermann <olaf.wintermann@gmail.com>

date

Tue, 13 Aug 2024 19:59:42 +0200

changeset 545

720893ec7d48

parent 544

27684460629f

child 546

5494c28db896