From: Niki <david.roulet@uclouvain.be>
Date: Wed, 10 Apr 2019 09:01:40 +0000 (+0200)
Subject: Merge branch 'master' of https://github.com/nikiroo/nikiroo-utils
X-Git-Url: http://git.nikiroo.be/?a=commitdiff_plain;h=94c44e42bf9d13fb372733318d9667c35af266be;hp=82430d859932daeceb7f3deefc1baea8b04983f5;p=fanfix.git

Merge branch 'master' of https://github.com/nikiroo/nikiroo-utils
---

diff --git a/src/be/nikiroo/utils/Proxy.java b/src/be/nikiroo/utils/Proxy.java
index fa59c73..f6ce11b 100755
--- a/src/be/nikiroo/utils/Proxy.java
+++ b/src/be/nikiroo/utils/Proxy.java
@@ -61,8 +61,8 @@ public class Proxy {
 	 */
 	static public void useProxy(String host, int port, String user,
 			String password) {
-		System.setProperty("http.proxyHost", "proxy.stluc.ucl.ac.be");
-		System.setProperty("http.proxyPort", "8080");
+		System.setProperty("http.proxyHost", host);
+		System.setProperty("http.proxyPort", Integer.toString(port));
 		auth(user, password);
 	}