src/timer/SDL_timer.c
changeset 1788 e02263385643
parent 1402 d910939febfa
child 1662 782fd950bd46
child 1895 c121d94672cb
child 4159 a1b03ba2fcd0
equal deleted inserted replaced
1787:15ae67aa6b4b 1788:e02263385643
    93 	if ( SDL_timer_threaded < 2 ) {
    93 	if ( SDL_timer_threaded < 2 ) {
    94 		SDL_SYS_TimerQuit();
    94 		SDL_SYS_TimerQuit();
    95 	}
    95 	}
    96 	if ( SDL_timer_threaded ) {
    96 	if ( SDL_timer_threaded ) {
    97 		SDL_DestroyMutex(SDL_timer_mutex);
    97 		SDL_DestroyMutex(SDL_timer_mutex);
       
    98 		SDL_timer_mutex = NULL;
    98 	}
    99 	}
    99 	SDL_timer_started = 0;
   100 	SDL_timer_started = 0;
   100 	SDL_timer_threaded = 0;
   101 	SDL_timer_threaded = 0;
   101 }
   102 }
   102 
   103