On Mon, Apr 01, 2013 at 11:38:00PM +0200, Marc-Antoine Perennou wrote: > Hi, > > After checking out the man page of waitpid, wait would indeed be sufficient > here. > I didn't actually know about waitpid(-1) > > I'll resubmit an updated patch tomorrow!
Great. I'm planning a dev18 release for tomorrow afternoon, tell me if you want me to wait a bit more. Thanks, Willy

