API: better test for server compatibility

https://github.com/marienfressinaud/FreshRSS/issues/443
This commit is contained in:
Alexandre Alapetite
2014-03-04 20:51:27 +01:00
parent b5df82c4c7
commit c88fa62dd8

View File

@@ -110,9 +110,13 @@ function serviceUnavailable() {
function checkCompatibility() {
logMe("checkCompatibility()\n");
header('Content-Type: text/plain; charset=UTF-8');
$ok = true;
$ok &= function_exists('getallheaders');
echo $ok ? 'PASS' : 'FAIL';
if (!function_exists('getallheaders')) {
die('FAIL getallheaders!');
}
if (PHP_INT_SIZE < 8 && !function_exists('gmp_init')) {
die('FAIL 64-bit or GMP extension!');
}
echo 'PASS';
exit();
}