Baptiste Assmann 3749ebf6fc 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>]
2016-09-11 08:13:31 +02:00
..
2016-08-03 00:05:59 +02:00
2006-06-15 21:48:13 +02:00
2016-05-10 15:36:58 +02:00
2006-06-15 21:48:13 +02:00