From 81fc0f621a3da49af6fe70680a06be6922587463 Mon Sep 17 00:00:00 2001
From: Themaister <maister@archlinux.us>
Date: Fri, 3 Jan 2014 14:39:46 +0100
Subject: [PATCH] Only call rarch_main_deinit if main has been initied.

---
 frontend/frontend.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/frontend/frontend.c b/frontend/frontend.c
index bac918908e..d60a7fe69e 100644
--- a/frontend/frontend.c
+++ b/frontend/frontend.c
@@ -295,7 +295,8 @@ void main_exit(args_type() args)
    }
 #endif
 
-   rarch_main_deinit();
+   if (g_extern.main_is_init)
+      rarch_main_deinit();
    rarch_deinit_msg_queue();
    global_uninit_drivers();