From mboxrd@z Thu Jan 1 00:00:00 1970 From: mmarek@suse.com (Michal Marek) Date: Thu, 19 May 2016 09:57:34 +0200 Subject: [Cocci] [PATCH] coccicheck: Fix missing 0 index in kill loop In-Reply-To: References: <20160516125558.GA352@www.outflux.net> <573B2B89.7060004@imag.fr> Message-ID: <573D71EE.9000604@suse.com> To: cocci@systeme.lip6.fr List-Id: cocci@systeme.lip6.fr Dne 17.5.2016 v 16:33 Julia Lawall napsal(a): > > > On Tue, 17 May 2016, Nicolas Palix (LIG) wrote: > >> Le 16/05/16 14:55, Kees Cook a ?crit : >>> By default, "seq" counts from 1, but processes were starting counting >>> from 0, so when interrupted, coccicheck would leave the 0th process >>> running. >>> >>> Signed-off-by: Kees Cook >> >> Acked-by: Nicolas Palix > > Acked-by: Julia Lawall Applied to kbuild.git#misc. Michal