diff options
Diffstat (limited to 'video_player')
| -rw-r--r-- | video_player/src/main.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/video_player/src/main.cpp b/video_player/src/main.cpp index c80cf9a..0342b45 100644 --- a/video_player/src/main.cpp +++ b/video_player/src/main.cpp @@ -427,7 +427,7 @@ static int64_t size_fn(void *cookie) { } if(res != 0) - kill(header_program.pid, SIGTERM); + kill(header_program.pid, SIGKILL); int status = 0; if(waitpid(header_program.pid, &status, 0) == -1) { @@ -493,7 +493,7 @@ static int64_t seek_fn(void *cookie, int64_t offset) { ReadProgram *program = (ReadProgram*)cookie; if(program->pid != -1) { - kill(program->pid, SIGTERM); + kill(program->pid, SIGKILL); int status; waitpid(program->pid, &status, 0); program->pid = -1; @@ -548,7 +548,7 @@ static void close_fn(void *cookie) { ReadProgram *program = (ReadProgram*)cookie; if(program->pid != -1) { - kill(program->pid, SIGTERM); + kill(program->pid, SIGKILL); int status; waitpid(program->pid, &status, 0); program->pid = -1; |