Searched refs:workers (Results 1 – 7 of 7) sorted by relevance
164 global $workers, $workerID;363 $workers = null;424 $workers = substr($argv[$i], 2);425 if (!preg_match('/^\d+$/', $workers) || $workers == 0) {426 … error("'$workers' is not a valid number of workers, try e.g. -j16 for 16 workers");428 $workers = intval($workers, 10);430 if ($workers === 1) {431 $workers = null;
2 Bug #77434: php-fpm workers are segfaulting in zend_gc_addref
420 ; Clear environment in FPM workers422 ; by clearing the environment in workers before env vars specified in this446 ; Additional php.ini defines, specific to this pool of workers. These settings
2393 char *workers = getenv("PHP_CLI_SERVER_WORKERS"); in php_cli_server_startup_workers() local2394 if (!workers) { in php_cli_server_startup_workers()2399 php_cli_server_workers_max = ZEND_ATOL(workers); in php_cli_server_startup_workers()
288 * Check workers output line.
9372 // TODO: ASLR may cause different addresses in different workers ???10016 // TODO: ASLR may cause different addresses in different workers ???
8753 // TODO: ASLR may cause different addresses in different workers ???9300 // TODO: ASLR may cause different addresses in different workers ???
Completed in 75 milliseconds