Delete server_flags.cc