Menu

#6 fix for linux runs

open
nobody
None
5
2008-10-17
2008-10-17
Alex
No

There's a bug where length is a problem with length OS names. Please convert this to a real patch.
Wherever the version is used, either supply a typical thing that windows says, or just truncate the length.

String osVersion = System.getProperty("os.version");
if (osVersion != null) {
System.setProperty("os.version", osVersion.substring(0, Math.min(osVersion.length(), 14)));
}
String osArch = System.getProperty("os.arch");
if (osArch != null) {
System.setProperty("os.arch", osArch.substring(0, Math.min(osArch.length(), 6)));
}
String osName = System.getProperty("os.name");
if (osName != null) {
System.setProperty("os.name", osName.substring(0, Math.min(osName.length(), 6)));
}

Discussion


Log in to post a comment.