From 2897e2f1fd7f22b79c1d6ba42f08076f1b358d30 Mon Sep 17 00:00:00 2001
From: twinaphex <libretro@gmail.com>
Date: Fri, 3 Oct 2014 12:37:55 +0200
Subject: [PATCH] Add RARCH_CMD_CORE_INFO_DEINIT

---
 general.h   | 1 +
 retroarch.c | 6 +++++-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/general.h b/general.h
index fb1a6e593c..650bab40e2 100644
--- a/general.h
+++ b/general.h
@@ -120,6 +120,7 @@ enum basic_event
    RARCH_CMD_RECORD_DEINIT,
    RARCH_CMD_HISTORY_DEINIT,
    RARCH_CMD_HISTORY_INIT,
+   RARCH_CMD_CORE_INFO_DEINIT,
    RARCH_CMD_CORE_INFO_INIT,
    RARCH_CMD_AUDIO_SET_BLOCKING_STATE,
    RARCH_CMD_AUDIO_SET_NONBLOCKING_STATE,
diff --git a/retroarch.c b/retroarch.c
index 8b820cc7af..d2ae9b5989 100644
--- a/retroarch.c
+++ b/retroarch.c
@@ -2982,10 +2982,14 @@ void rarch_main_command(unsigned cmd)
          rarch_main_command(RARCH_CMD_HISTORY_DEINIT);
          history_playlist_new();
          break;
-      case RARCH_CMD_CORE_INFO_INIT:
+      case RARCH_CMD_CORE_INFO_DEINIT:
          if (g_extern.core_info)
             core_info_list_free(g_extern.core_info);
          g_extern.core_info = NULL;
+         break;
+      case RARCH_CMD_CORE_INFO_INIT:
+         rarch_main_command(RARCH_CMD_CORE_INFO_DEINIT);
+
          if (*g_settings.libretro_directory &&
                !g_extern.core_info)
          {