mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 19:37:16 +02:00
Auto merge 5.1-build -> 5.1-bugteam
This commit is contained in:
commit
fb2c9d8232
7 changed files with 61 additions and 18 deletions
|
|
@ -31,7 +31,17 @@ try
|
|||
var end= supp_version.indexOf("-");
|
||||
if (end == -1) end= supp_version.length;
|
||||
var app_version= supp_version.substring(0, end);
|
||||
app_version+= ".0";
|
||||
var fourth_element= 0;
|
||||
if(app_version.match(/[a-z]$/)) {
|
||||
fourth_element+= (1 + app_version.charCodeAt(end-1) - "a".charCodeAt(0));
|
||||
app_version= app_version.substring(0,--end);
|
||||
}
|
||||
if(app_version.match(/sp[1-9]$/)) {
|
||||
fourth_element+= 100*(app_version.charCodeAt(end-1) - "0".charCodeAt(0));
|
||||
app_version= app_version.substring(0, end-3);
|
||||
end-= 3;
|
||||
}
|
||||
app_version+= "." + fourth_element;
|
||||
break;
|
||||
case "arch":
|
||||
var app_arch= parts[1];
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue