josh/jes
1
0 Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

fix Jtk_RemoveTimer()

Browse Source
This commit is contained in:
josh committed 2017-10-01 08:02:26 -04:00
1 parent f424fd573d
commit b9d650d9ef
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
src/gui/jtk/Jtk_timer.cc
+1 -1
View File
@@ -64,9 +64,9 @@ void Jtk_RemoveTimer(size_t timer_id)
{ {
if (timer_id < g_timers.size()) if (timer_id < g_timers.size())
{ {
g_timers[timer_id] = nullptr;
auto timer = g_timers[timer_id]; auto timer = g_timers[timer_id];
g_active_timers.remove(timer); g_active_timers.remove(timer);
g_timers[timer_id] = nullptr;
} }
} }