equal
deleted
inserted
replaced
24 case Multiple(Value.Int(i), Value.Int(j)) => (i to j).toList |
24 case Multiple(Value.Int(i), Value.Int(j)) => (i to j).toList |
25 case _ => error("Cannot parse CPU node specification: " + quote(s)) |
25 case _ => error("Cannot parse CPU node specification: " + quote(s)) |
26 } |
26 } |
27 |
27 |
28 if (numa_nodes_linux.is_file) { |
28 if (numa_nodes_linux.is_file) { |
29 space_explode(',', File.read(numa_nodes_linux).trim).flatMap(read(_)) |
29 space_explode(',', File.read(numa_nodes_linux).trim).flatMap(read) |
30 } |
30 } |
31 else Nil |
31 else Nil |
32 } |
32 } |
33 |
33 |
34 |
34 |