From 78b6096fa5f9769fabe31be5d5ea584dad755551 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Fri, 26 Aug 2016 16:45:37 +0200
Subject: [PATCH] fetchurl: add proxy configuration option

---
 src/app/fetchurl/README       | 5 +++++
 src/app/fetchurl/component.cc | 7 +++++++
 2 files changed, 12 insertions(+)

diff --git a/src/app/fetchurl/README b/src/app/fetchurl/README
index e231f89..740bcf8 100644
--- a/src/app/fetchurl/README
+++ b/src/app/fetchurl/README
@@ -11,3 +11,8 @@ Configuration
 ! </libc>
 ! <fetch url="http://genode.org/about/LICENSE" path="LICENSE"/>
 !</config>
+
+Optionally, you can use a proxy:
+
+! <fetch url="http://genode.org/about/LICENSE" path="LICENSE"
+!        proxy="sock5://10.0.0.1:9050 />
diff --git a/src/app/fetchurl/component.cc b/src/app/fetchurl/component.cc
index 07db3f0..53b2c25 100644
--- a/src/app/fetchurl/component.cc
+++ b/src/app/fetchurl/component.cc
@@ -135,6 +135,13 @@ void Component::construct(Genode::Env &env)
 		curl_easy_setopt(curl, CURLOPT_SSL_VERIFYPEER, 0L);
 		curl_easy_setopt(curl, CURLOPT_SSL_VERIFYHOST, 0L);
 
+		/* check for optional proxy configuration */
+		try {
+			Genode::String<256> proxy;
+			node.attribute("proxy").value(&proxy);
+			curl_easy_setopt(curl, CURLOPT_PROXY, proxy.string());
+		} catch (...) { }
+
 		res = curl_easy_perform(curl);
 		close(fd);
 		if (res != CURLE_OK)