From 970731073d4175763529098fb165d8003cda01ec Mon Sep 17 00:00:00 2001
From: "J. King" <jking@jkingweb.ca>
Date: Wed, 23 Jan 2019 09:37:41 -0500
Subject: [PATCH] Fetch timeout should be a float, not an integer

---
 lib/Conf.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Conf.php b/lib/Conf.php
index ce092e93..eee91291 100644
--- a/lib/Conf.php
+++ b/lib/Conf.php
@@ -84,7 +84,7 @@ class Conf {
     public $serviceQueueWidth       = 5;
 
     /** @var \DateInterval Number of seconds to wait for data when fetching feeds from foreign servers */
-    public $fetchTimeout            = 10;
+    public $fetchTimeout            = 10.0;
     /** @var integer Maximum size, in bytes, of data when fetching feeds from foreign servers */
     public $fetchSizeLimit          = 2 * 1024 * 1024;
     /** @var boolean Whether to allow the possibility of fetching full article contents using an item's URL. Whether fetching will actually happen is also governed by a per-feed setting */