Fix issue #1713: Change killProc signal from SIGKILL to SIGTERM.
Merge pull request #1745 from zijie0/master

Fix issue #1713: Change killProc signal from SIGKILL to SIGTERM.