AltErgoLib.MyUnix
Unix wrapper
This module defines some wrappers around Unix function, in order to more easily maintain compatibility when compiling to javascript.
Set a timeout, using Unix timers. If is_gui
then the timer raises Unix
.ITIMER_REAL, else raises Unix
.ITIMER_VIRTUAL. No-op on javascript.