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

Recreate the pull request...