diff options
Diffstat (limited to 'p/api/greader.php')
| -rw-r--r-- | p/api/greader.php | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/p/api/greader.php b/p/api/greader.php index ab2a210a2..adc400790 100644 --- a/p/api/greader.php +++ b/p/api/greader.php @@ -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(); } |
