* added timer/scheduler based on setitimer that works with threads
(interface not public, yet)
* with-timeout now uses said scheduler
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.