try {
String os = System.getProperty("os.name").toLowerCase();
Process p;
- if (os.indexOf("windows 9") > -1) {
+ if (os.indexOf("windows 9") != -1 || os.indexOf("windows me") != -1) {
+ // hack -- jdk1.2/1.3 on Win32 pop open an ugly DOS box; 1.4 does not
+ if (platform.getClass().getName().endsWith("Java12")) return null;
p = Runtime.getRuntime().exec("command.com /c set");
- } else if ( (os.indexOf("nt") > -1) || (os.indexOf("windows 2000") > -1) ) {
+ } else if (os.indexOf("windows") > -1) {
+ // hack -- jdk1.2/1.3 on Win32 pop open an ugly DOS box; 1.4 does not
+ if (platform.getClass().getName().endsWith("Java12")) return null;
p = Runtime.getRuntime().exec("cmd.exe /c set");
} else {
p = Runtime.getRuntime().exec("env");