server: Combine user_list_init() and populate().
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 13 Aug 2017 20:07:57 +0000 (22:07 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 13 Mar 2018 02:28:56 +0000 (03:28 +0100)
commit0c35f5c1692909134436cedac65b7c872a0b0867
tree2341ca7abc640ff7c9f587e56abe219863b998fe
parent6a2dbfdb87b3036085ce664a847fc9eb419f65d4
server: Combine user_list_init() and populate().

The latter is only called by the former, and both are short enough.
user_list.c