server: Make argument of user_list_init() constant.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 31 Dec 2017 22:37:16 +0000 (23:37 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 13 Mar 2018 02:28:56 +0000 (03:28 +0100)
commit0e5dedaa7f494adcd2970c301343fc04933fae72
treeb5a630721afbb412fbc81b5b42d1aeed7dc4f868
parentac93cb364106bbaa88bf0d0852981a872166e6a9
server: Make argument of user_list_init() constant.

The function does not modify the memory pointed to by user_list_file.
user_list.c
user_list.h