add "kill server" handling code. Server should be 'killed', not orderly shut down.
Merge pull request #23 from gaohoward/master

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