diff options
Diffstat (limited to 'src/net/minecraft/GameVersion.java')
| -rw-r--r-- | src/net/minecraft/GameVersion.java | 5 |
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; } } |