Double workers in workerman (#5093)

frameworks/PHP/workerman/server-async.php

@@ -5,7 +5,7 @@ use Workerman\Protocols\Http;
 use Workerman\Worker;
 
 $http_worker                = new Worker('http://0.0.0.0:8080');
-$http_worker->count         = shell_exec('nproc');
+$http_worker->count         = shell_exec('nproc') * 2;
 $http_worker->onWorkerStart = static function() {
     global $mysql;
 

frameworks/PHP/workerman/server.php

@@ -7,7 +7,7 @@ use Workerman\Protocols\Http;
 use Workerman\Worker;
 
 $http_worker                = new Worker('http://0.0.0.0:8080');
-$http_worker->count         = shell_exec('nproc');
+$http_worker->count         = shell_exec('nproc') * 2;
 $http_worker->onWorkerStart = function () {
     global $pdo, $fortune, $statement;
     $pdo = new PDO('mysql:host=tfb-database;dbname=hello_world',