diff options
| -rwxr-xr-x | gki/ulinux/gki_ulinux.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gki/ulinux/gki_ulinux.c b/gki/ulinux/gki_ulinux.c index 4d30bbb..97a7f41 100755 --- a/gki/ulinux/gki_ulinux.c +++ b/gki/ulinux/gki_ulinux.c @@ -760,6 +760,7 @@ void GKI_freeze() { #ifdef NO_GKI_RUN_RETURN shutdown_timer = 1; + pthread_mutex_unlock( &gki_cb.os.gki_timer_mutex ); /* Ensure that the timer thread exits */ pthread_join(timer_thread_id, NULL); #endif |