void ExecWithIO::kill_child()
{
  if (running() > 0) {
   int status = kill(child_pid, SIGKILL);
   if (status < 0) {
    std::cerr << "error " << strerror(errno) << " (" << errno
    << ") killing " << child_pid << std::endl;
    }
  }
}
//Just received the code from my supervisor - it has to deal with piping or smthn, but essentialy this method just got me rofling for a while :).
No comments:
Post a Comment