Pedro Vilaca b190cfdd6a Don't use `kill -hup` in the launch script ... The HUP signal was being used to stop the service and for some reason, sometimes it was being ignored. This commit change forces the use of the TERM signal (the default signal of kill). Fixes gh-4378 Closes gh-4414		2015-11-09 14:27:05 -08:00
..
src	Don't use `kill -hup` in the launch script	2015-11-09 14:27:05 -08:00
pom.xml	Next Development Version	2015-10-16 05:57:24 -07:00