30 Jan
2007
30 Jan
'07
11:38 a.m.
On 30.01 12:20, Simon Marlow wrote:
How would you interrupt the FFI call when the timeout expired? pthread_cancel(), maybe?
That is one solution. Just letting it running and returning is "good enough" for most things. One common thing would be network related functions if implemented in a blocking way (over various C libraries). They usually do need timeouts and are blocking FFI calls. - musasabi