1 extern char ServerConfigFileName[MAX_FILENAME_SIZE];
2 extern char ServerSingleConfigFileName[MAX_FILENAME_SIZE];
3 
4 
5 extern void ReadServerConfig(char *ConfigFileName);
6 extern void SetServerDefaults();
7 extern void *ServerAssignValue(char *VariableName, char *value);
8 extern void SaveServerConfig();
9