修复非 Windows 平台上游戏进程的 user.home 可能被设置为 null 的问题 (#4241)
This commit is contained in:
@@ -168,7 +168,7 @@ public class DefaultLauncher extends Launcher {
|
|||||||
}
|
}
|
||||||
|
|
||||||
if (OperatingSystem.CURRENT_OS != OperatingSystem.WINDOWS)
|
if (OperatingSystem.CURRENT_OS != OperatingSystem.WINDOWS)
|
||||||
res.addDefault("-Duser.home=", options.getGameDir().getParent());
|
res.addDefault("-Duser.home=", options.getGameDir().getAbsoluteFile().getParent());
|
||||||
|
|
||||||
Proxy.Type proxyType = options.getProxyType();
|
Proxy.Type proxyType = options.getProxyType();
|
||||||
if (proxyType == null) {
|
if (proxyType == null) {
|
||||||
|
|||||||
Reference in New Issue
Block a user