Update docs/production_server.md