libvlc: Abort in case of unhandled exception.

diff --git a/src/control/core.c b/src/control/core.c
index ececd0ea0c72a6d468e8b1b97b509d1eb526f704..4a258d26b686fe3448a20dd33d81216ea1075358 100644 (file)
--- a/src/control/core.c
+++ b/src/control/core.c
@@ -71,6 +71,7 @@ static void libvlc_exception_not_handled( const char *psz )
 {
     fprintf( stderr, "*** LibVLC Exception not handled: %s\nSet a breakpoint in '%s' to debug.\n",
              psz, __func__ );
+    abort();
 }
 
 void libvlc_exception_raise( libvlc_exception_t *p_exception,