if (WIFSIGNALED(wstat)) //... else if (WEXITSTATUS(wstat)) //… else if (WEXITSTATUS(wstat)) //…
Good catch, thanks! Fixed in the latest git. Bugfix release coming at some point in the future. (I'm not hurrying because it's only a display bug.) -- Laurent
