Nicolas George wrote on Wed, 16 Mar 2011 19:49:57 +0100: > +static void mp_die(void) > +{ > + abort(); > +} > + The GUI would need a call to something like guiDie() there before. Ingo