server: Deplete user list on exit.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 22 Oct 2017 12:46:16 +0000 (14:46 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 13 Mar 2018 02:28:56 +0000 (03:28 +0100)
commitac93cb364106bbaa88bf0d0852981a872166e6a9
tree2b3fca2d89a8ec830a0888d7ac61c1c65ac4566e
parent0c35f5c1692909134436cedac65b7c872a0b0867
server: Deplete user list on exit.

This eliminates a bunch of valgrind memory leak warnings when
run with --leak-check=full --show-leak-kinds=all.
server.c
user_list.c
user_list.h