Use ‘gactl stop’ to stop the server, or alternatively ‘kill’ the gaserver process. If a
non-default network port has been specified during the call to ‘gactl start’ then the
port must also be specified when stopping. For instance, starting the server with
‘gactl start --port=17000’ will require a call to ‘gactl
stop --port=17000’ to stop the server.