From 5a5640155a3e247930621b4ec87bed6c22ae300b Mon Sep 17 00:00:00 2001
From: Francisco Javier Trujillo Mata <fjtrujy@gmail.com>
Date: Thu, 21 Nov 2019 19:13:06 +0100
Subject: [PATCH] Call to the terminate function for the pthread on the deinit
 of the PSP platform

---
 frontend/drivers/platform_psp.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/frontend/drivers/platform_psp.c b/frontend/drivers/platform_psp.c
index 9935e40250..6fbb3d650e 100644
--- a/frontend/drivers/platform_psp.c
+++ b/frontend/drivers/platform_psp.c
@@ -234,6 +234,7 @@ static void frontend_psp_deinit(void *data)
 #ifndef IS_SALAMANDER
    verbosity_disable();
 #endif
+   pthread_terminate();
 }
 
 static void frontend_psp_shutdown(bool unused)