Update web_server_configuration.rst

Fixes for issue #4527