Questions about Erlang port drivers

Jakob Cederlund jakob@REDACTED
Thu Feb 9 11:32:04 CET 2006

The current behaviour of driver_set_timer() is indeed a bug, and will be 
corrected, hopefully in the next release of R10. It will be fixed to 
work as described in the documentation.

More information about the erlang-questions mailing list