Admin/exec_process/exec_process.c
Sat, 13 Feb 2016 17:24:00 +0100 wenzelm more flexible command-line;
Fri, 30 Nov 2012 15:05:51 +0100 wenzelm report proper pid *after* fork;
Thu, 29 Nov 2012 23:12:50 +0100 wenzelm more defensive retry via fork;
Mon, 24 Sep 2012 16:27:48 +0200 wenzelm search bash via PATH as usual (this is no longer restricted to Cygwin with its known file-system layout);
less more (0) -4 tip