You saved me a headache...or maybe too late for that but none-the-less. At any rate, killing the terminal you started the server at will also kill the server instance.