API: better test for server compatibility

https://github.com/marienfressinaud/FreshRSS/issues/443

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();
 }