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
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
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
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
4 matches
Mail list logo