raspberrypi: RPI_Destroy() should free the SDL_VideoDevice and its driverdata.
diff --git a/src/video/raspberry/SDL_rpivideo.c b/src/video/raspberry/SDL_rpivideo.c
index 9dcf956..ee32f61 100644
--- a/src/video/raspberry/SDL_rpivideo.c
+++ b/src/video/raspberry/SDL_rpivideo.c
@@ -59,11 +59,8 @@ RPI_Available(void)
static void
RPI_Destroy(SDL_VideoDevice * device)
{
- /* SDL_VideoData *phdata = (SDL_VideoData *) device->driverdata; */
-
- if (device->driverdata != NULL) {
- device->driverdata = NULL;
- }
+ SDL_free(device->driverdata);
+ SDL_free(device);
}
static SDL_VideoDevice *