1
0
forked from aniani/vim

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)
This commit is contained in:
Bram Moolenaar
2016-11-17 17:25:32 +01:00
parent c0514bf477
commit 7df915d113
7 changed files with 122 additions and 59 deletions

View File

@@ -764,6 +764,8 @@ static char *(features[]) =
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
87,
/**/
86,
/**/