mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Raised priority of JAVA_HOME in WinLauncher
This commit is contained in:
Binary file not shown.
Binary file not shown.
@@ -233,16 +233,16 @@ bool LocateJVM()
|
||||
}
|
||||
}
|
||||
|
||||
if (FindJVMInRegistry())
|
||||
{
|
||||
return true;
|
||||
}
|
||||
|
||||
if (FindJVMInEnvVar("JAVA_HOME", result))
|
||||
{
|
||||
return result;
|
||||
}
|
||||
|
||||
if (FindJVMInRegistry())
|
||||
{
|
||||
return true;
|
||||
}
|
||||
|
||||
std::string jvmError;
|
||||
jvmError = "No JVM installation found. Please install a " BITS_STR " JDK.\n"
|
||||
"If you already have a JDK installed, define a JAVA_HOME variable in\n"
|
||||
|
||||
Reference in New Issue
Block a user