Refine server.server-header documentation

Fixes gh-4461
pull/4801/head
Phillip Webb 9 years ago
parent 945b42588b
commit 528fcf3d0b

@ -153,7 +153,7 @@ content into your application; rather pick only the properties that you need.
server.jsp-servlet.init-parameters.*= # Init parameters used to configure the JSP servlet server.jsp-servlet.init-parameters.*= # Init parameters used to configure the JSP servlet
server.jsp-servlet.registered=true # Whether or not the JSP servlet is registered server.jsp-servlet.registered=true # Whether or not the JSP servlet is registered
server.port=8080 # Server HTTP port. server.port=8080 # Server HTTP port.
server.server-header= # The value sent in the server response header server.server-header= # The value sent in the server response header (uses servlet container default if empty)
server.servlet-path=/ # Path of the main dispatcher servlet. server.servlet-path=/ # Path of the main dispatcher servlet.
server.session.cookie.comment= # Comment for the session cookie. server.session.cookie.comment= # Comment for the session cookie.
server.session.cookie.domain= # Domain for the session cookie. server.session.cookie.domain= # Domain for the session cookie.

Loading…
Cancel
Save