Fb2RSS

commit 2c2e42b389d5e339ffc4cf8f8431e8b2a0d520be
parent 3188c3bd1454121210f5b04cc3cc4c31827e1860
Author: Dominik Schmidt <das1993@hotmail.com>
Date:   Fri, 24 Jul 2015 17:57:47 +0200

Add a fetch timeout.

Diffstat:
Fb2RSS.d
 | 
4
++++

1 file changed, 4 insertions(+), 0 deletions(-)
diff --git a/Fb2RSS.d b/Fb2RSS.d
@@ -72,6 +72,9 @@ class FBStream : RandomFiniteAssignable!(Post){
 	///The root node
 	XmlNode root; 
 	
+	///When the fetch request times out
+	public static Duration fetch_timeout=dur!("seconds")(3); //Facebook usually responds really fast.
+	
 	/**
 	 * @brief Functions for the Range-Interface
 	 * 
@@ -195,6 +198,7 @@ class FBStream : RandomFiniteAssignable!(Post){
 		else{
 			auto h=HTTP();
 			h.setUserAgent(userAgent);
+			h.connectTimeout(fetch_timeout);
 			h.url=fetch_url;
 			h.onReceive = (ubyte[] data) {document~=cast(string)data; return data.length; };
 			h.perform();