diff options
Diffstat (limited to 'Gui/mplayer/psignal.c')
| -rw-r--r-- | Gui/mplayer/psignal.c | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/Gui/mplayer/psignal.c b/Gui/mplayer/psignal.c index 19c97c7f64..5d3991d4f3 100644 --- a/Gui/mplayer/psignal.c +++ b/Gui/mplayer/psignal.c @@ -177,15 +177,6 @@ void mplMainSigHandler( int s ) // mplShMem->message=0; } -void mplSendMessage( int msg ) -{ - if ( !mplShMem->Playing ) return; - mplShMem->message=msg; -// kill( mplMPlayerPID,SIGTYPE ); usleep( 10 ); -// kill( mplMPlayerPID,SIGTYPE ); usleep( 10 ); - kill( mplMPlayerPID,SIGTYPE ); -} - void gtkSendMessage( int msg ) { if ( !gtkIsOk ) return; |