equal
deleted
inserted
replaced
1077 var version_numbers = getVersionNumbers(); |
1077 var version_numbers = getVersionNumbers(); |
1078 var version = (major != null ? major : version_numbers.get("DEFAULT_VERSION_MAJOR")) |
1078 var version = (major != null ? major : version_numbers.get("DEFAULT_VERSION_MAJOR")) |
1079 + "." + (minor != null ? minor : version_numbers.get("DEFAULT_VERSION_MINOR")) |
1079 + "." + (minor != null ? minor : version_numbers.get("DEFAULT_VERSION_MINOR")) |
1080 + "." + (security != null ? security : version_numbers.get("DEFAULT_VERSION_SECURITY")) |
1080 + "." + (security != null ? security : version_numbers.get("DEFAULT_VERSION_SECURITY")) |
1081 + "." + (patch != null ? patch : version_numbers.get("DEFAULT_VERSION_PATCH")); |
1081 + "." + (patch != null ? patch : version_numbers.get("DEFAULT_VERSION_PATCH")); |
1082 while (version.match(".*\.0$")) { |
1082 while (version.match(".*\\.0$")) { |
1083 version = version.substring(0, version.length - 2); |
1083 version = version.substring(0, version.length - 2); |
1084 } |
1084 } |
1085 return version; |
1085 return version; |
1086 }; |
1086 }; |
1087 |
1087 |