patch 7.4.1294 Problem: job_stop() only kills the started process. Solution: Send the signal to the process group. (Olaf Dabrunz)
diff --git a/src/os_unix.c b/src/os_unix.c index a0e5ed0..17bb322 100644 --- a/src/os_unix.c +++ b/src/os_unix.c
@@ -3920,6 +3920,11 @@ } #if defined(FEAT_JOB) || !defined(USE_SYSTEM) || defined(PROTO) +/* + * Parse "cmd" and put the white-separated parts in "argv". + * "argv" is an allocated array with "argc" entries. + * Returns FAIL when out of memory. + */ int mch_parse_cmd(char_u *cmd, int use_shcf, char ***argv, int *argc) { @@ -5107,7 +5112,8 @@ sig = atoi((char *)how); else return FAIL; - kill(job->jv_pid, sig); + /* TODO: have an option to only kill the process, not the group? */ + kill(-job->jv_pid, sig); return OK; } #endif
diff --git a/src/version.c b/src/version.c index b5bf05e..1be6854 100644 --- a/src/version.c +++ b/src/version.c
@@ -748,6 +748,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1294, +/**/ 1293, /**/ 1292,