/* Inform pager that we are done */
fclose(stdout);
kill(pager_pid, SIGCONT);
- wait_for_terminate(pager_pid, NULL);
+ (void) wait_for_terminate(pager_pid, NULL);
pager_pid = 0;
}
/* Inform agent that we are done */
kill(agent_pid, SIGTERM);
kill(agent_pid, SIGCONT);
- wait_for_terminate(agent_pid, NULL);
+ (void) wait_for_terminate(agent_pid, NULL);
agent_pid = 0;
}
/* Inform agent that we are done */
kill(agent_pid, SIGTERM);
kill(agent_pid, SIGCONT);
- wait_for_terminate(agent_pid, NULL);
+ (void) wait_for_terminate(agent_pid, NULL);
agent_pid = 0;
}