[m-rev.] for review: Fix use of Linux CPU affinity API.

[Michael Day]

>      Make MR_detect_num_processors() set MR_num_processors to 1 if the
>      MR_cpuset_available set is somehow empty after
>      MR_reset_available_cpus(). It should not happen, but the program
>      should be able to continue anyway.

"If there is no cpu, exactly who is thinking this..."

Michael

-- 
Prince: Print with CSS!
http://www.princexml.com