commit | 5094656a67fa1b56f30cd2316adb675ca9d2a79a | [log] [tgz] |
---|---|---|
author | Baptiste Assmann <bedis9@gmail.com> | Wed Aug 31 23:26:29 2016 +0200 |
committer | Willy Tarreau <w@1wt.eu> | Tue Sep 06 07:39:16 2016 +0200 |
tree | 43d379d4fdbca98da9975a7cd95b943caa0ea194 | |
parent | e3f5031b5186367d8559dad5170cf88bff923a04 [diff] |
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'.