src/timer/SDL_timer.c
branchSDL-1.3
changeset 1659 14717b52abc0
parent 1402 d910939febfa
child 1662 782fd950bd46
child 1895 c121d94672cb
child 4159 a1b03ba2fcd0
--- a/src/timer/SDL_timer.c	Mon May 01 06:58:33 2006 +0000
+++ b/src/timer/SDL_timer.c	Wed May 17 08:18:28 2006 +0000
@@ -95,6 +95,7 @@
 	}
 	if ( SDL_timer_threaded ) {
 		SDL_DestroyMutex(SDL_timer_mutex);
+		SDL_timer_mutex = NULL;
 	}
 	SDL_timer_started = 0;
 	SDL_timer_threaded = 0;