Rename some local variables in `server.cc`.