diff input/input.h @ 25623:b955a135e3a8

Do not use exit_player in the signal handler, this code just can not be called from a signal handler. Instead only make the input system generate quit commands for the first CTRL+C and otherwise do getch2_disable and exit.
author reimar
date Tue, 08 Jan 2008 21:40:44 +0000
parents 54512595b406
children 4ba9b9bdf123
line wrap: on
line diff
--- a/input/input.h	Tue Jan 08 12:46:20 2008 +0000
+++ b/input/input.h	Tue Jan 08 21:40:44 2008 +0000
@@ -298,4 +298,6 @@
 int
 mp_input_check_interrupt(int time);
 
+extern int async_quit_request;
+
 #endif /* INPUT_H */