On Tue, Nov 02, 2004 at 10:20:54AM +0100, Reimar Döffinger wrote: > Hi, > > don't use exit, abort or any such functions, they can leave the console > in an unusable state. exit_player is the right function to use. don't use exit_player either in a filter!! rich