Library Version 18.1.25
To stop a server, use Ctrl-C from within the shell where the server is running.
Ctrl-C