debug2("read_server_config: filename %s", filename);
read_server_config(ServerOptions *options, const char *filename){	int linenum, bad_options = 0;	char line[1024];	FILE *f;	f = fopen(filename, "r");	if (!f) {		perror(filename);		exit(1);	}	linenum = 0;	while (fgets(line, sizeof(line), f)) {		/* Update line number counter. */		linenum++;		if (process_server_config_line(options, line, filename, linenum) != 0)			bad_options++;	}	fclose(f);	if (bad_options > 0)		fatal("%s: terminating, %d bad configuration options",		    filename, bad_options);}