diff options
| -rw-r--r-- | works/life/linux-run/linux-run.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/works/life/linux-run/linux-run.cpp b/works/life/linux-run/linux-run.cpp index e656e55..dcb9944 100644 --- a/works/life/linux-run/linux-run.cpp +++ b/works/life/linux-run/linux-run.cpp @@ -131,6 +131,7 @@ void run(const std::string &program, std::vector<std::string> arguments, int poll_return = poll(&sigchld_poll, 1, timeout_value); if (poll_return == 0) { + kill(pid, SIGKILL); throw TimeoutError("Timeout to run command."); } else if (poll_return == -1) { if (errno == EINTR) { |