From 12ec7c4fa9cbed732d3c4512c5b53d87952ed67f Mon Sep 17 00:00:00 2001
From: Dagen Brock <dagenbrock@gmail.com>
Date: Fri, 24 Aug 2018 14:18:44 -0500
Subject: [PATCH] proper SDL shutdown - fixes exit on RPi HW accel version

---
 src/sdl2_driver.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/sdl2_driver.c b/src/sdl2_driver.c
index 9325753..586c8b6 100644
--- a/src/sdl2_driver.c
+++ b/src/sdl2_driver.c
@@ -773,6 +773,10 @@ int x_show_alert(int is_fatal, const char *str) {
   return 0;
 }
 
+void xdriver_end() {
+  SDL_Quit();
+}
+
 // This will help us determine how well and which drivers are supported on
 // different SDL platforms
 void debuginfo_renderer(SDL_Renderer *r) {
@@ -816,5 +820,5 @@ void x_set_mask_and_shift(word32 x_mask, word32 *mask_ptr, int *shift_left_ptr,
 void x_update_color(int col_num, int red, int green, int blue, word32 rgb) { }
 void x_update_physical_colormap() { }
 void show_xcolor_array() { }
-void xdriver_end() { }
+
 void x_push_done() { }