Ticket #1383: mplayer-async-quit.diff

mplayer.c

@@ -2535 +2535 @@
 
 //float a_frame=0;    // Audio
 
+// Make sure the asynchronous quit request is not set.
+async_quit_request = 0;
+
 int i;
 
 int gui_no_filename=0;
@@ -3178 +3181 @@
     mp_msg(MSGT_MENCODER,MSGL_FATAL,MSGTR_ErrorWritingFile,stream_dump_name);
     exit_player(MSGTR_Exit_error);
   }
+
+  // Exit with failure in case of an asynchronous quit request (set in signal handler)
+  if (async_quit_request) {
+    exit_player(MSGTR_Exit_error);
+  }
+
   mp_msg(MSGT_CPLAYER,MSGL_INFO,MSGTR_CoreDumped);
   exit_player_with_rc(MSGTR_Exit_eof, 0);
 }