diff options
| author | Stephan Bergmann <sbergman@redhat.com> | 2014-12-15 16:42:03 +0100 |
|---|---|---|
| committer | Stephan Bergmann <sbergman@redhat.com> | 2014-12-15 16:45:51 +0100 |
| commit | 5e9a2e9b0f33ab50aa3a84728db75383aede19d9 (patch) | |
| tree | 1f66af867652c4c12ea1c34c0e564caaf5915578 /jvmfwk/README | |
| parent | 0136acb836f3451786c4bd9c34dafe66e30d4dda (diff) | |
Check each potential JRE location only once
i.e., after recent "fdo#83753: consider JAVA_HOME and PATH when selecting JRE"
fix, if jfw_findAndSelectJRE found no suitable JRE in
jfw_plugin_getJavaInfoFromJavaHome or jfw_plugin_getJavaInfosFromPath, do not
re-check those locations in jfw_plugin_getAllJavaInfos.
Change-Id: If4e085b4fceff5b2494c7b7b84ac51691dbc78cc
Diffstat (limited to 'jvmfwk/README')
0 files changed, 0 insertions, 0 deletions