Bugfix: cores number could be 0

This commit is contained in:
Laurent Clouet
2014-11-30 23:49:17 +00:00
parent 51752b0e49
commit 60aeb716d3

View File

@@ -183,7 +183,7 @@ public class Worker {
} }
} }
if (nb_cores < -1) { if (nb_cores < -1 || nb_cores == 0) { // -1 is the default
System.err.println("Error: use-number-core should be a greater than zero"); System.err.println("Error: use-number-core should be a greater than zero");
return; return;
} }