The src/server/server_options.go file