diff --git a/lib/Classifiers/Classifier.php b/lib/Classifiers/Classifier.php index 08841334a..1844e73b4 100644 --- a/lib/Classifiers/Classifier.php +++ b/lib/Classifiers/Classifier.php @@ -194,7 +194,7 @@ public function classifyFiles(string $model, array $queueFiles, int $timeout): \ try { $proc->start(); - if ($cores !== '0') { + if ((int)$cores !== 0) { @exec('taskset -cp ' . implode(',', range(0, (int)$cores, 1)) . ' ' . ((string)$proc->getPid())); }