Fix for issue 3110 (Some tools are not defined in the "config/java.properties" file)
Add systematically the command-lines to the java.properties file even if no argument is found.
| | |
| | | writer.write(serverScripts[i]+".java-args=-server"); |
| | | } |
| | | } |
| | | else |
| | | { |
| | | for (int i=0; i<serverScripts.length; i++) |
| | | { |
| | | writer.newLine(); |
| | | writer.write(serverScripts[i]+".java-args="); |
| | | } |
| | | } |
| | | |
| | | |
| | | if (supportsClient || supportsClientInitialHeap) |
| | |
| | | writer.write(clientScripts[i]+".java-args="+arg); |
| | | } |
| | | } |
| | | else |
| | | { |
| | | for (int i=0; i<clientScripts.length; i++) |
| | | { |
| | | writer.newLine(); |
| | | writer.write(clientScripts[i]+".java-args="); |
| | | } |
| | | } |
| | | |
| | | if (supportsClient || supportsServer || supportsClientInitialHeap) |
| | | { |