common/conf/jib-profiles.js
changeset 43600 092ff49ea148
parent 43049 316f167bdc9e
child 43602 aa491a7d76c1
--- a/common/conf/jib-profiles.js	Tue Jan 31 21:06:43 2017 -0500
+++ b/common/conf/jib-profiles.js	Fri Feb 03 16:03:17 2017 +0100
@@ -1067,7 +1067,7 @@
         + "." + (minor != null ? minor : version_numbers.get("DEFAULT_VERSION_MINOR"))
         + "." + (security != null ? security :  version_numbers.get("DEFAULT_VERSION_SECURITY"))
         + "." + (patch != null ? patch : version_numbers.get("DEFAULT_VERSION_PATCH"));
-    while (version.match(".*\.0$")) {
+    while (version.match(".*\\.0$")) {
         version = version.substring(0, version.length - 2);
     }
     return version;