From e59a874ee794a08d19cc6dc7347ddd24b9a789e0 Mon Sep 17 00:00:00 2001
From: Christopher Latza <latzachristopher@live.de>
Date: Sun, 7 Jun 2020 20:56:02 +0200
Subject: [PATCH] set timeout

---
 start.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/start.php b/start.php
index 9fc4d8e..97f804e 100644
--- a/start.php
+++ b/start.php
@@ -1,6 +1,8 @@
 <?php
 include "config.php";
 
+ini_set("default_socket_timeout", 10);
+
 echo "StreamURL: ".$StreamURL."\n";
 echo "DiscordWebhook: ".$DiscordWebhook."\n";
 
@@ -31,7 +33,7 @@ while(TRUE)
                 'http' => [
                     'method' => 'POST',
                     'header' => 'Content-Type: application/json',
-                    'timeout' => 5.0,
+                    'timeout' => 5,
                     'content' => $jsonMessage
                 ]
             ];