1. <?php
  3. /**
  4. * Instruments response headers for a one-off script with fixed retry intervals.
  5. *
  6. * @param string $url The URL to fetch.
  7. * @param int $maxRetries The maximum number of retries.
  8. * @param int $retryInterval The interval between retries in seconds.
  9. * @return array|false An associative array of response headers on success, or false on failure.
  10. */
  11. function instrumentResponseHeaders(string $url, int $maxRetries, int $retryInterval): array|false
  12. {
  13. $retries = 0;
  14. while ($retries < $maxRetries) {
  15. try {
  16. // Attempt to fetch the URL.
  17. $response = file_get_contents($url);
  19. if ($response === false) {
  20. // Handle failure to fetch the URL.
  21. $retries++;
  22. if ($retries < $maxRetries) {
  23. sleep($retryInterval);
  24. } else {
  25. return false; // Return false if max retries reached.
  26. }
  27. continue;
  28. }
  30. // Initialize headers array.
  31. $headers = [];
  33. // Add the Content-Type header (example).
  34. if (isset($headers['Content-Type'])) {
  35. $headers['Content-Type'] = 'Content-Type: ' . substr($response, 0, strpos($response, "\r\n")); // Get content type
  36. }
  38. // Add other headers as needed. Can use regular expressions to parse.
  39. // Example: Add a custom header.
  40. $headers['X-Instrumented'] = 'true';
  42. // Return the headers.
  43. return $headers;
  45. } catch (Exception $e) {
  46. // Handle exceptions.
  47. $retries++;
  48. if ($retries < $maxRetries) {
  49. sleep($retryInterval);
  50. } else {
  51. return false; // Return false if max retries reached.
  52. }
  53. continue;
  54. }
  55. }
  57. return false; // Should not reach here, but added for completeness.
  58. }
  61. // Example usage (replace with your actual URL, max retries, and interval).
  62. //$url = 'https://www.example.com';
  63. //$maxRetries = 3;
  64. //$retryInterval = 5;
  66. //$headers = instrumentResponseHeaders($url, $maxRetries, $retryInterval);
  68. //if ($headers !== false) {
  69. // // Process the headers.
  70. // print_r($headers);
  71. //} else {
  72. // echo "Failed to retrieve response headers after multiple retries.\n";
  73. //}
  75. ?>

Add your comment