Use the terminal to stop the PingDataMetrics server. Go to the server root directory. Run the command $ bin/stop-server