| 123456789101112131415161718192021222324252627282930313233343536373839404142 |
- #!/usr/bin/env php
- <?php
- declare(strict_types=1);
- if (php_sapi_name() !== 'cli') {
- echo 'Error: This script may only be invoked from command line!', PHP_EOL;
- die(3);
- }
- $options = getopt('', ['url::', 'connect_timeout::', 'timeout::']);
- $address = is_string($options['url'] ?? null) ? $options['url'] : 'http://localhost/api/';
- $ch = curl_init($address);
- if ($ch === false) {
- fwrite(STDERR, 'Error: Failed to initialize cURL!' . PHP_EOL);
- die(4);
- }
- curl_setopt_array($ch, [
- CURLOPT_CONNECTTIMEOUT => is_numeric($options['connect_timeout'] ?? null) ? (int)$options['connect_timeout'] : 3,
- CURLOPT_TIMEOUT => is_numeric($options['timeout'] ?? null) ? (int)$options['timeout'] : 5,
- CURLOPT_ACCEPT_ENCODING => '', //Enable all encodings
- CURLOPT_HTTPHEADER => [
- 'Connection: close',
- ],
- CURLOPT_RETURNTRANSFER => true,
- ]);
- $content = curl_exec($ch);
- $httpCode = curl_getinfo($ch, CURLINFO_HTTP_CODE);
- if ($httpCode !== 200 || !is_string($content)) {
- $curlError = curl_error($ch);
- fwrite(STDERR, 'Error: Health check failed for ' . $address . ': ' .
- ($curlError !== '' ? $curlError : ('unexpected HTTP status ' . $httpCode)) . PHP_EOL);
- die(1);
- }
- $content = rtrim($content, "\n\r");
- if (!str_starts_with($content, '<!DOCTYPE html>') || !str_ends_with($content, '</html>') || !str_contains($content, '/scripts/api.js')) {
- fwrite(STDERR, 'Error: Health check failed for ' . $address .
- ': the response does not look like a FreshRSS page' .
- ' (check that the URL points to a working FreshRSS instance with the API enabled).' . PHP_EOL);
- die(2);
- }
|
