[MPlayer-dev-eng] [PATCH] exit_player

[Attila Kinali]

On Thu, Sep 09, 2004 at 10:44:44PM +0300, Jan Knutar wrote:
 
> We should probably try _exit() after exit() fails, too... especially if you consider

Yes, but that is afaik only available on linux, thus has to be ifdef'ed

Oh, yes, send patch :)

				Attila Kinali