git://git.nikiroo.be
/
fanfix-jexer.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
a43e4f7
)
proxy woopsie
author
Niki
<david.roulet@uclouvain.be>
Wed, 10 Apr 2019 08:59:09 +0000
(10:59 +0200)
committer
Niki
<david.roulet@uclouvain.be>
Wed, 10 Apr 2019 08:59:09 +0000
(10:59 +0200)
src/be/nikiroo/utils/Proxy.java
patch
|
blob
|
blame
|
history
diff --git
a/src/be/nikiroo/utils/Proxy.java
b/src/be/nikiroo/utils/Proxy.java
index fa59c738439e40467aa62dfb28252799375b0375..f6ce11b3666bf05e83aadab852219ecdc4867832 100755
(executable)
--- 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);
}