summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Niedermayer <michaelni@gmx.at>2011-12-16 19:37:32 +0100
committerMichael Niedermayer <michaelni@gmx.at>2011-12-16 19:37:32 +0100
commitcf7076ee9685d1ae35f2838904574e8aba3b067d (patch)
tree1e84f4c95115cf9ac2d6c748a3cdec3828804a56
parent3d07e0aba0c9c29ed17a1becfae61b8b58f46cd1 (diff)
ffmpeg: exit() on repeated ctrl-c
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
-rw-r--r--ffmpeg.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/ffmpeg.c b/ffmpeg.c
index f151e8433b..aa90fe6bbf 100644
--- a/ffmpeg.c
+++ b/ffmpeg.c
@@ -549,6 +549,8 @@ static void sigterm_handler(int sig)
received_sigterm = sig;
received_nb_signals++;
term_exit();
+ if(received_nb_signals > 3)
+ exit(123);
}
static void term_init(void)