common/conf/jib-profiles.js
changeset 44200 ace0f086665d
parent 43919 74a204b70355
parent 43602 aa491a7d76c1
child 44466 5b09914e1c28
child 46197 9233f69fbd49
--- a/common/conf/jib-profiles.js	Thu Mar 09 21:35:17 2017 +0000
+++ b/common/conf/jib-profiles.js	Mon Mar 13 19:58:08 2017 +0000
@@ -1079,7 +1079,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;