Set correct proxy port depending on the version

1 files changed, 3 insertions, 2 deletions

diff --git a/src/net/minecraft/GameVersion.java b/src/net/minecraft/GameVersion.java
index 7698b5d..9de8f4d 100644
--- a/src/net/minecraft/GameVersion.java
+++ b/src/net/minecraft/GameVersion.java
@@ -16,7 +16,7 @@ public class GameVersion {
 	public Instant releasedOn;
 
 	public URL gameJarUrl;
-	public String proxyArgs;
+	public int proxyPort;
 
 	private boolean infoDownloaded = false;
 
@@ -44,7 +44,8 @@ public class GameVersion {
 					gameJarUrl = new URL(value);
 					break;
 				case "proxy-args":
-					proxyArgs = value;
+					int portIndex = value.indexOf("http.proxyPort=") + "http.proxyPort=".length();
+					proxyPort = Integer.parseInt(value.substring(portIndex));
 					break;
 			}
 		}