Server: fix crash when specifying settings.async-workers on the command-line

This commit is contained in:
Dylan K. Taylor 2018-02-01 17:58:49 +00:00
parent e56e363dcc
commit 9397356ce4

View File

@ -1527,6 +1527,8 @@ class Server{
if($processors > 0){
$poolSize = max(1, $processors);
}
}else{
$poolSize = (int) $poolSize;
}
ServerScheduler::$WORKERS = $poolSize;