From b3da767d00a55287b77668faf642b2fe24ef40f6 Mon Sep 17 00:00:00 2001
From: cflip <cflip@cflip.net>
Date: Thu, 24 Aug 2023 20:30:32 -0600
Subject: Set correct proxy port depending on the version

---
 src/net/minecraft/GameVersion.java | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/net/minecraft/GameVersion.java')

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;
 			}
 		}
-- 
cgit v1.2.3