[MPlayer-dev-eng] [PATCH] exit_player

[Attila Kinali]

On Wed, Aug 11, 2004 at 07:29:15PM -0500, Joey Parrish wrote:
> Hello,
> 
> This patch changes all exit() calls to exit_player() so that clean-up
> always gets done right.
> 
> I just think this is a good idea in general.

So do i, please commit.

			Attila Kinali