From 4409b5bbc7c4e55f0fb238f4daab913c5dd13d2b Mon Sep 17 00:00:00 2001
From: Niki <david.roulet@uclouvain.be>
Date: Wed, 10 Apr 2019 13:48:20 +0200
Subject: [PATCH] Proxy: allow single string usage

---
 src/be/nikiroo/utils/Proxy.java | 58 +++++++++++++++++++++++++++++++++
 1 file changed, 58 insertions(+)

diff --git a/src/be/nikiroo/utils/Proxy.java b/src/be/nikiroo/utils/Proxy.java
index f6ce11b..750b3ee 100755
--- a/src/be/nikiroo/utils/Proxy.java
+++ b/src/be/nikiroo/utils/Proxy.java
@@ -9,6 +9,64 @@ import java.net.PasswordAuthentication;
  * @author niki
  */
 public class Proxy {
+	/**
+	 * Use the proxy described by this string:
+	 * <ul>
+	 * <li><tt>((user(:pass)@)proxy:port)</tt></li>
+	 * <li>System proxy is noted <tt>:</tt></li>
+	 * </ul>
+	 * Some examples:
+	 * <ul>
+	 * <li><tt></tt> → do not use any proxy</li>
+	 * <li><tt>:</tt> → use the system proxy</li>
+	 * <li><tt>user@prox.com</tt> → use the proxy "prox.com" with default port
+	 * and user "user"</li>
+	 * <li><tt>prox.com:8080</tt> → use the proxy "prox.com" on port 8080</li>
+	 * <li><tt>user:pass@prox.com:8080</tt> → use "prox.com" on port 8080
+	 * authenticated as "user" with password "pass"</li>
+	 * <li><tt>user:pass@:</tt> → use the system proxy authenticated as user
+	 * "user" with password "pass"</li>
+	 * </ul>
+	 * 
+	 * @param proxy
+	 *            the proxy
+	 */
+	static public void use(String proxy) {
+		if (proxy != null && !proxy.isEmpty()) {
+			String user = null;
+			String password = null;
+			int port = 8080;
+
+			if (proxy.contains("@")) {
+				int pos = proxy.indexOf("@");
+				user = proxy.substring(0, pos);
+				proxy = proxy.substring(pos + 1);
+				if (user.contains(":")) {
+					pos = user.indexOf(":");
+					password = user.substring(pos + 1);
+					user = user.substring(0, pos);
+				}
+			}
+
+			if (proxy.equals(":")) {
+				proxy = null;
+			} else if (proxy.contains(":")) {
+				int pos = proxy.indexOf(":");
+				try {
+					port = Integer.parseInt(proxy.substring(0, pos));
+					proxy = proxy.substring(pos + 1);
+				} catch (Exception e) {
+				}
+			}
+
+			if (proxy == null) {
+				Proxy.useSystemProxy(user, password);
+			} else {
+				Proxy.useProxy(proxy, port, user, password);
+			}
+		}
+	}
+
 	/**
 	 * Use the system proxy.
 	 */
-- 
2.27.0