comparison gui/interface.c @ 33268:445a104bfb0f

Instead of exit_player(), exit with appropriate return code. This closes Bugzilla #574.
author ib
date Tue, 03 May 2011 14:03:03 +0000
parents 5a2452e3404e
children be7d8c249dfd
comparison
equal deleted inserted replaced
33267:5a2452e3404e 33268:445a104bfb0f
427 427
428 appFreeStruct(); 428 appFreeStruct();
429 } 429 }
430 430
431 if (how != DONE) 431 if (how != DONE)
432 exit_player(how); 432 exit_player_with_rc(how, how >= EXIT_ERROR);
433 } 433 }
434 434
435 void guiLoadFont(void) 435 void guiLoadFont(void)
436 { 436 {
437 #ifdef CONFIG_FREETYPE 437 #ifdef CONFIG_FREETYPE