[MPlayer-dev-eng] [PATCH] Free GUI config

[Reimar Döffinger]

On Wed, Apr 27, 2011 at 07:24:34PM +0200, Ingo Brückl wrote:
> So far, it isn't freed.
> 
> As non-gui files are affected, I better ask before committing. Since the GUI
> can abort with exit_player() this seems to be the right place.

Not a big deal, however is there an advantage to freeing it that
justifies and additional CONFIG_GUI?
Freeing right before exit is after all a rather pointless thing to do,
though it sometimes (rarely) makes using valgrind a bit nicer.