# HG changeset patch
# User ib
# Date 1304431383 0
# Node ID 445a104bfb0f00e16a1f436698dcb0289a815691
# Parent  5a2452e3404e64c8b2371353ab1888741fac77d4
Instead of exit_player(), exit with appropriate return code.

This closes Bugzilla #574.

diff -r 5a2452e3404e -r 445a104bfb0f gui/interface.c
--- a/gui/interface.c	Tue May 03 13:49:59 2011 +0000
+++ b/gui/interface.c	Tue May 03 14:03:03 2011 +0000
@@ -429,7 +429,7 @@
     }
 
     if (how != DONE)
-        exit_player(how);
+        exit_player_with_rc(how, how >= EXIT_ERROR);
 }
 
 void guiLoadFont(void)