diff options
author | Neels Hofmeyr <nhofmeyr@sysmocom.de> | 2016-12-20 12:05:19 +0100 |
---|---|---|
committer | Neels Hofmeyr <nhofmeyr@sysmocom.de> | 2016-12-20 12:39:32 +0100 |
commit | 06ac9b40ed600cd36e1c0a158eb8f2ca01b1941f (patch) | |
tree | 6b324f04d88482bd3a7deb47922b567f9d69fc55 /src/ctrl | |
parent | 42b59c1bf080a5ae785f576ba749afdf3bde598d (diff) |
fsm: term: safer iteration to remove all child FSMs
When terminating child FSMs, restart iteration after every child, to make
sure that we don't terminate a child twice. Terminating one child may emit
events that in turn terminates other children.
I created this patch because at first it looked like the cause of a bug,
which turned out not to be the case. So I have no actual use case of this
situation, but it does generally make sense to me, so submitting this.
Change-Id: I00990b47e42eeb43707a9a42abcd9df52fe5f483
Diffstat (limited to 'src/ctrl')
0 files changed, 0 insertions, 0 deletions