Change signal used to kill executions to SIGTERM
commite18d75b23b33def5cef4ea35ba495e5544cd2c87
authorLex <elextr@gmail.com>
Sat, 23 Mar 2013 00:58:45 +0000 (23 11:58 +1100)
committerLex <elextr@gmail.com>
Sat, 23 Mar 2013 00:58:45 +0000 (23 11:58 +1100)
tree2c85993ebf3d91c117183d170c16e9af1bc6cd97
parent0d84e129bdb96cb3c7b3c8756264f791efe71425
Change signal used to kill executions to SIGTERM

The originally used SIGQUIT has problems:
1) see the deleted comment
2) some xterm alternatives ignore it, so they don't stop

Changed to SIGTERM which is the canonical "terminate" signal.

Removed associated unneeded ignore of SIGQUIT.
src/build.c
src/main.c