If you make changes to a server’s configuration properties, restart the server for the changes to take effect.
Change to the server’s bin directory.
To restart the local server, verify that the server’s LocalRestart task is enabled (see “Tasks tab”), then run restart-server.bat (Windows) or restart-server.sh (UNIX):
restart-server -local
To restart another server, specify the name of the server:
restart-server server
