On Thursday 12 August 2004 00:29, 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. > I think it would be even better if exit and exit_player wouldn't be needed at all. Sascha