num_cpus --> cpu_count

cpu_count is a much nicer name than num_cpus; please rename it

If you want to change it, I suggest you chime in on the reform RFC (specifically, this line).

1 Like

thanks for that one; I suggested the change.

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.