Re: [PATCH] Allow setting server port via admin socket.

2016-07-04 Thread Conrad Hoffmann
Hi Baptiste, On 07/03/2016 09:09 PM, Baptiste wrote: > Hi Conrad, > > I have a few pending patches to cover this change. > Your current implementation does not cover all the cases and breaks > some implementation (when the server port is related the frontend's > port and the need for the health

Re: [PATCH] Allow setting server port via admin socket.

2016-07-03 Thread Baptiste
Hi Conrad, I have a few pending patches to cover this change. Your current implementation does not cover all the cases and breaks some implementation (when the server port is related the frontend's port and the need for the health check port to be set). I'll submit my patches to Willy soon. Part

Re: [PATCH] Allow setting server port via admin socket.

2016-06-29 Thread Pavlos Parissis
On 29/06/2016 01:08 πμ, Conrad Hoffmann wrote: > Hi, > > Attached patch allows setting a server's port in addition to the address > via the admin socket, e.g.: > > set server mybackend/server-1 addr 127.0.0.1:8080 > > I find this already useful by itself, and furthermore this can be used (one

[PATCH] Allow setting server port via admin socket.

2016-06-28 Thread Conrad Hoffmann
53dd Mon Sep 17 00:00:00 2001 From: Conrad Hoffmann <con...@soundcloud.com> Date: Wed, 29 Jun 2016 00:44:21 +0200 Subject: [PATCH] Allow setting server port via admin socket. It is already possible to change a server's IP address, effectively switching to a new server. However, it is not