Update run_server documentation. (#1917)
Update run_server documentation. (#1917)

Fixes #1913.
google/clusterfuzz,google/clusterfuzz,google/clusterfuzz,google/clusterfuzz,google/clusterfuzz,google/clusterfuzz,google/clusterfuzz,google/clusterfuzz