src/SDL.c
changeset 8268 3f8410f20405
parent 8149 681eb46b8ac4
child 8886 e0aa3fb16668
     1.1 --- a/src/SDL.c	Fri Feb 28 16:24:41 2014 -0800
     1.2 +++ b/src/SDL.c	Sat Mar 01 09:50:52 2014 -0800
     1.3 @@ -38,7 +38,8 @@
     1.4  #if !SDL_TIMERS_DISABLED
     1.5  extern int SDL_TimerInit(void);
     1.6  extern void SDL_TimerQuit(void);
     1.7 -extern void SDL_InitTicks(void);
     1.8 +extern void SDL_TicksInit(void);
     1.9 +extern void SDL_TicksQuit(void);
    1.10  #endif
    1.11  #if SDL_VIDEO_DRIVER_WINDOWS
    1.12  extern int SDL_HelperWindowCreate(void);
    1.13 @@ -123,7 +124,7 @@
    1.14  #endif
    1.15  
    1.16  #if !SDL_TIMERS_DISABLED
    1.17 -    SDL_InitTicks();
    1.18 +    SDL_TicksInit();
    1.19  #endif
    1.20  
    1.21      if ((flags & SDL_INIT_GAMECONTROLLER)) {
    1.22 @@ -355,6 +356,10 @@
    1.23  #endif
    1.24      SDL_QuitSubSystem(SDL_INIT_EVERYTHING);
    1.25  
    1.26 +#if !SDL_TIMERS_DISABLED
    1.27 +    SDL_TicksQuit();
    1.28 +#endif
    1.29 +
    1.30      SDL_ClearHints();
    1.31      SDL_AssertionsQuit();
    1.32      SDL_LogResetPriorities();