On 6 Mar 2000, Dave Thomas wrote:

> You could use lib/timeout.rb:
> 
>    require 'timeout'
>    status = timeout(5) {
>      # something may take time
>    }

Thank you.  I will have to explore the libraries more thoroughly.
> 
   [my blathering about fork trimmed :-)]
> 
> It uses threads, which are more efficient, but the principle's the
> same.

I thought it might work something like that.
> 
> Regards
> 
> Dave
> 
	Thank you,
	Hugh
	hgs / dmu.ac.uk