Another improvement for #27: detect if the first process was still running when we launch a second one.