From 7df915d113ac1981792c50e8b000c9f5f784b78b Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Thu, 17 Nov 2016 17:25:32 +0100 Subject: patch 8.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) --- src/os_win32.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/os_win32.c') 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; -- cgit v1.2.1