tree 87311ff9ac89c3b4322802405afb07d1462b006b
parent d458adcc52b74608e2fe6a2a95f09ce5e94932b7
author Baptiste Assmann <bedis9@gmail.com> 1470256452 +0200
committer Willy Tarreau <w@1wt.eu> 1473574411 +0200
encoding latin1

MINOR: cli: ability to change a server's port

Enrichment of the 'set server <b>/<s> addr' cli directive to allow changing
now a server's port.
The new syntax looks like:
  set server <b>/<s> addr [port <port>]