0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add a comment

Browse source
This commit is contained in:
gfgtdf 2018-06-28 19:44:55 +02:00
parent c555127552
commit 0296b6068c
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/gui/core/timer.cpp
View file

@ -44,7 +44,13 @@ static std::map<std::size_t, timer>& get_timers()
static std::map<std::size_t, timer>* ptimers = new std::map<std::size_t, timer>();
return *ptimers;
}
/** The id of the event being executed, 0 if none. */
/**
The id of the event being executed, 0 if none.
NOTE: it is possible that multiple timers are executed at the same time
if one of the timer starts an event loop for example if its handler
shows a dialog. In that case code that relies on this breaks. This
could probably fixed my making this a list/stack of ids.
*/
static std::size_t executing_id = 0;
/** Did somebody try to remove the timer during its execution? */