From: <jom...@us...> - 2014-05-25 15:26:49
|
Revision: 1777 http://sourceforge.net/p/jason/svn/1777 Author: jomifred Date: 2014-05-25 15:26:46 +0000 (Sun, 25 May 2014) Log Message: ----------- improve java home detection for Config Modified Paths: -------------- trunk/lib/c4jason.jar trunk/lib/cartago.jar trunk/lib/moise.jar trunk/src/jason/jeditplugin/Config.java trunk/src/jason/util/ConfigGUI.java Modified: trunk/lib/c4jason.jar =================================================================== (Binary files differ) Modified: trunk/lib/cartago.jar =================================================================== (Binary files differ) Modified: trunk/lib/moise.jar =================================================================== (Binary files differ) Modified: trunk/src/jason/jeditplugin/Config.java =================================================================== --- trunk/src/jason/jeditplugin/Config.java 2014-05-12 13:39:52 UTC (rev 1776) +++ trunk/src/jason/jeditplugin/Config.java 2014-05-25 15:26:46 UTC (rev 1777) @@ -224,7 +224,17 @@ if (checkJavaHomePath(javaHome)) { setJavaHome(javaHome); } else { - setJavaHome(File.separator); + String javaHomeUp = javaHome + File.separator + ".."; + if (checkJavaHomePath(javaHomeUp)) { + setJavaHome(javaHomeUp); + } else { + // try JRE + if (checkJREHomePath(javaHome)) { + setJavaHome(javaHome); + } else { + setJavaHome(File.separator); + } + } } } @@ -478,6 +488,21 @@ return false; } + public static boolean checkJREHomePath(String javaHome) { + try { + if (!javaHome.endsWith(File.separator)) { + javaHome += File.separator; + } + File javac1 = new File(javaHome + "bin" + File.separatorChar + "java"); + File javac2 = new File(javaHome + "bin" + File.separatorChar + "java.exe"); + if (javac1.exists() || javac2.exists()) { + return true; + } + } catch (Exception e) { + } + return false; + } + public static boolean checkAntLib(String al) { try { if (!al.endsWith(File.separator)) { Modified: trunk/src/jason/util/ConfigGUI.java =================================================================== --- trunk/src/jason/util/ConfigGUI.java 2014-05-12 13:39:52 UTC (rev 1776) +++ trunk/src/jason/util/ConfigGUI.java 2014-05-25 15:26:46 UTC (rev 1777) @@ -356,7 +356,7 @@ userProperties.put(Config.JASON_JAR, jasonTF.getText().trim()); } - if (Config.checkJavaHomePath(javaTF.getText())) { + if (Config.checkJavaHomePath(javaTF.getText()) || Config.checkJREHomePath(javaTF.getText())) { userProperties.setJavaHome(javaTF.getText().trim()); } This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |