1
0
Fork 0

Only check for pcntl on cli SAPI, fixes #8828

pull/8837/head
Jordi Boggiano 2020-04-23 20:44:14 +02:00
parent df0cada93f
commit 755a73baa9
No known key found for this signature in database
GPG Key ID: 7BBD42C429EC80BC
1 changed files with 5 additions and 1 deletions

View File

@ -588,10 +588,14 @@ EOF;
if (preg_match('{^ext-(.+)$}iD', $link->getTarget(), $match)) { if (preg_match('{^ext-(.+)$}iD', $link->getTarget(), $match)) {
$extension = var_export($match[1], true); $extension = var_export($match[1], true);
if ($match[1] === 'pcntl') {
$requiredExtensions[$extension] = "PHP_SAPI !== 'cli' || extension_loaded($extension) || \$missingExtensions[] = $extension;\n";
} else {
$requiredExtensions[$extension] = "extension_loaded($extension) || \$missingExtensions[] = $extension;\n"; $requiredExtensions[$extension] = "extension_loaded($extension) || \$missingExtensions[] = $extension;\n";
} }
} }
} }
}
ksort($requiredExtensions); ksort($requiredExtensions);