tree 43d379d4fdbca98da9975a7cd95b943caa0ea194
parent e3f5031b5186367d8559dad5170cf88bff923a04
author Baptiste Assmann <bedis9@gmail.com> 1472678789 +0200
committer Willy Tarreau <w@1wt.eu> 1473140356 +0200
encoding latin1

MINOR: cli: change a server health check port through the stats socket

Introduction of a new CLI command "set server <srv> check-port <port>' to
allow admins to change a server's health check port at run time.

This changes the equivalent of the configuration server parameter
called 'port'.