diff options
| author | Marcel Admiraal <madmiraal@users.noreply.github.com> | 2020-07-04 10:17:57 +0100 |
|---|---|---|
| committer | Marcel Admiraal <madmiraal@users.noreply.github.com> | 2020-07-04 10:17:57 +0100 |
| commit | 7eb0fcdb1a1653166964b3ba4fa416cdbd1b631c (patch) | |
| tree | e6eb4a4ff3aebeb65fdf3077637a8730634d3ffa /core | |
| parent | 8ccb1cec915283f538eaf187592b850759a72a7b (diff) | |
Remove elements from monitored_bodies and monitored_areas as they are
processed before calling the callback, instead of after they have all
been processed, because the callbacks may readd them.
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions