int cpIndex = -1;
boolean hasruntime = false;
for (int i = 0; i < args.length-1; i++) {
+ args[i] = adaptToPlatform(args[i]);
if ("-classpath".equals(args[i])) {
cpIndex = i;
String next = args[i+1];
}
return args;
}
+
+ private String adaptToPlatform(String s) {
+ String ret = s.replace(';',File.pathSeparatorChar);
+ ret = ret.replace(':',File.pathSeparatorChar);
+ return ret;
+ }
private List copyAll(List in) {
if (in == Collections.EMPTY_LIST) return in;
*/
public void setInpath(String inpath) {
this.inpath = inpath.replace(',',File.pathSeparatorChar);
+ this.inpath = inpath.replace(';',File.pathSeparatorChar);
}
/**
* @return Returns the options.