[MPlayer-dev-eng] [PATCH] exit -> exit_player

[Joey Parrish]

On Thu, Sep 23, 2004 at 09:21:54PM -0500, Joey Parrish wrote:
> Hello,
> 
> This is a patch to call exit_player instead of exit.  I sent a patch for
> this before, and this differs in that it doesn't touch the signal
> handler.  This version is more conservative, and IMHO safe.
> 
> Any objections?  OK to commit?

Committed.

--Joey

-- 
"There are trivial truths and there are great truths.  The opposite of a
trivial truth is plainly false.  The opposite of a great truth is also true."
  --Neils Bohr