From 2fc12361785c7e874c25d6e79f73b76300fc0cbe Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Fri, 7 Dec 2018 10:47:10 +0100
Subject: lib/helper.php: site_is_reachable() new

---
 lib/helper.php | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/lib/helper.php b/lib/helper.php
index 84cb69c..05ff2e1 100644
--- a/lib/helper.php
+++ b/lib/helper.php
@@ -169,3 +169,19 @@ function if_unset($array, $index, $default) {
   else
     return $default;
 };
+
+function site_is_reachable($url) {
+  $scd = stream_context_get_default();
+  stream_context_set_default(array('timeout' => 1));
+  $headers = get_headers($url);
+  stream_context_set_default($scd);
+  if (is_array($headers))
+    foreach ($headers as $header) {
+      if (!(strpos($header, 'HTTP/') === 0))
+        continue;
+      if ($header[1] == '200')
+        return true;
+      return false;
+    }
+  return false;
+}
-- 
cgit v1.2.3