/* Kill anything else in the process group that is still running */
kill(-pid, SIGTERM);
if (WIFEXITED(status))
status = WEXITSTATUS(status); else { if (WIFSIGNALED(status))
printf("!! child died by signal %d\n", WTERMSIG(status)); else
printf("!! child died by unknown cause\n");
status = 1; /* Signal or other */
}
return status;
}
staticvoid sig_handler(int signum)
{ /* Just wake us up from waitpid */
}
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.