tree fd50378a22048ee6d1c2bf1010dfd59a872a53f9
parent 6b453f166fc340e3060cffb9a8118dce5e2e0df5
author Baptiste Assmann <bedis9@gmail.com> 1470118735 +0200
committer Willy Tarreau <w@1wt.eu> 1473574391 +0200
encoding latin1

MINOR: new update_server_addr_port() function to change both server's ADDR and service PORT

This function can replace update_server_addr() where the need to change the
server's port as well as the IP address is required.
It performs some validation before performing each type of change.