diff options
| author | Bram Moolenaar <Bram@vim.org> | 2016-11-17 17:25:32 +0100 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2016-11-17 17:25:32 +0100 |
| commit | 7df915d113ac1981792c50e8b000c9f5f784b78b (patch) | |
| tree | 873425f52305ca284850d34727534542cf8bc8e9 /src/os_win32.c | |
| parent | c0514bf4777a1d55f5785b3887c5686fd0bbe870 (diff) | |
| download | vim-git-7df915d113ac1981792c50e8b000c9f5f784b78b.tar.gz | |
patch 8.0.0087v8.0.0087
Problem: When the channel callback gets job info the job may already have
been deleted. (lifepillar)
Solution: Do not delete the job when the channel is still useful. (ichizok,
closes #1242, closes #1245)
Diffstat (limited to 'src/os_win32.c')
| -rw-r--r-- | src/os_win32.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/os_win32.c b/src/os_win32.c index 9fcb054d0..f8e0f117d 100644 --- a/src/os_win32.c +++ b/src/os_win32.c @@ -4978,7 +4978,7 @@ mch_job_status(job_T *job) || dwExitCode != STILL_ACTIVE) { job->jv_exitval = (int)dwExitCode; - if (job->jv_status != JOB_ENDED) + if (job->jv_status < JOB_ENDED) { ch_log(job->jv_channel, "Job ended"); job->jv_status = JOB_ENDED; |