Re: [PATCH] CLEANUP: server: remove unused err section in server_finalize_init

2020-01-09 Thread Lukas Tribus
Hello, On Thu, 9 Jan 2020 at 06:08, Илья Шипицин wrote: > > btw, if you add "Fixes: #438", the issue will be closed automatically > > https://help.github.com/en/github/managing-your-work-on-github/closing-issues-using-keywords which we are asking people *NOT* to do, because we are also tracking

Re: [PATCH] CLEANUP: server: remove unused err section in server_finalize_init

2020-01-08 Thread Илья Шипицин
btw, if you add "Fixes: #438", the issue will be closed automatically https://help.github.com/en/github/managing-your-work-on-github/closing-issues-using-keywords чт, 9 янв. 2020 г. в 01:33, William Dauchy : > Since commit 980855bd953c ("BUG/MEDIUM: server: initialize the orphaned > conns lists

Re: [PATCH] CLEANUP: server: remove unused err section in server_finalize_init

2020-01-08 Thread Willy Tarreau
On Wed, Jan 08, 2020 at 09:29:53PM +0100, William Dauchy wrote: > Since commit 980855bd953c ("BUG/MEDIUM: server: initialize the orphaned > conns lists and tasks at the end"), we no longer use err section. > > This should fix github issue #438 Merged, thanks William! Willy

[PATCH] CLEANUP: server: remove unused err section in server_finalize_init

2020-01-08 Thread William Dauchy
Since commit 980855bd953c ("BUG/MEDIUM: server: initialize the orphaned conns lists and tasks at the end"), we no longer use err section. This should fix github issue #438 Signed-off-by: William Dauchy --- src/server.c | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/server.c