common/conf/jib-profiles.js
changeset 43602 aa491a7d76c1
parent 43288 58b8748ef90d
parent 43600 092ff49ea148
child 44200 ace0f086665d
child 46193 7d73b0bb32b1
--- a/common/conf/jib-profiles.js	Thu Feb 09 17:21:44 2017 +0000
+++ b/common/conf/jib-profiles.js	Thu Feb 09 18:12:29 2017 +0000
@@ -1080,7 +1080,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;