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