1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Merge 10.3 into 10.4

This commit is contained in:
Marko Mäkelä
2019-01-24 22:42:35 +02:00
83 changed files with 944 additions and 269 deletions

View File

@ -129,7 +129,8 @@ private:
/* Hostname with port (host:port) */
start= addr_in;
end= colon;
parse_port(colon + 1);
if (parse_port(colon + 1))
return; /* Error: invalid port */
break;
default:
/* IPv6 address */