* forgot to add the declaration of server_port in main.c
* char pointers obtained by config_GetPszVariable need to be freed