Baptiste Assmann d458adcc52 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.
2016-09-11 08:13:11 +02:00
..
2016-02-19 14:37:46 +01:00
2016-03-30 15:44:58 +02:00
2009-01-25 13:49:53 +01:00