add "kill server" handling code. Server should be 'killed', not orderly shut down.