stop server with SIGINT #13

Merged

darrinholst merged 1 commits from master into master 2012-01-30 16:52:15 +00:00

Conversation 1 Commits 1 Files Changed 1 +2 -2

1 Commits

Author	SHA1	Message	Date
Darrin Holst	963b9e0ab2	use SIGINT instead of KILL so the pid gets cleaned up	2012-01-30 08:20:47 -06:00