+ else if (WIFSIGNALED(status))
+ {
+ wxLogSysError(_("Waiting for subprocess termination failed (signal not caught)"));
+
+ /* AFAIK, this can only happen if something went wrong within
+ wxGTK, i.e. due to a race condition or some serious bug.
+ After having fixed the order of statements in
+ GTK_EndProcessDetector(). (KB)
+ */
+ }
+ // else