SIGN IN SIGN UP

fix get_num_physical_cores() (#1436)

* fix get_num_physical_cores()
had been broken on complex topologies because "cpu cores" in /proc/cpuinfo is per-"physical id"

* Add spaces to maintain consistent formatting

---------

Co-authored-by: slaren <ddevesa@gmail.com>
Z
zrm committed
63d20469b85467c5729cc9a97bd44cc3da63423f
Parent: b5c9295
Committed by GitHub <noreply@github.com> on 5/15/2023, 2:25:42 AM