diff options
| -rw-r--r-- | src/os_unix.c | 9 | ||||
| -rw-r--r-- | src/version.c | 2 |
2 files changed, 10 insertions, 1 deletions
diff --git a/src/os_unix.c b/src/os_unix.c index 0dfbd4977..b9514d248 100644 --- a/src/os_unix.c +++ b/src/os_unix.c @@ -5863,10 +5863,17 @@ mch_job_status(job_T *job) # endif if (wait_pid == -1) { + int waitpid_errno = errno; + if (waitpid_errno == ECHILD && mch_process_running(job->jv_pid)) + // The process is alive, but it was probably reparented (for + // example by ptrace called by a debugger like lldb or gdb). + // Note: This assumes that process IDs are not reused. + return "run"; + // process must have exited if (job->jv_status < JOB_ENDED) ch_log(job->jv_channel, "Job no longer exists: %s", - strerror(errno)); + strerror(waitpid_errno)); goto return_dead; } if (wait_pid == 0) diff --git a/src/version.c b/src/version.c index 022b9ffe8..a9cf30e2f 100644 --- a/src/version.c +++ b/src/version.c @@ -696,6 +696,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1377, +/**/ 1376, /**/ 1375, |