danielbeardsley/cimpler — pull request #62 by danielbeardsley (2014-08-14 22:59:42+00:00)
Title: Abort: kill all processes with SIGTERM

Since all directly launched processes are *bash* processes
we should use the trap option and send SIGTERM.

Previously, the merge and fetch phases would *not* be interrupted on
an abort.