summaryrefslogtreecommitdiff
path: root/digital/io
diff options
context:
space:
mode:
authorJérémy Dufour2008-04-28 12:18:37 +0200
committerJérémy Dufour2008-04-28 12:18:37 +0200
commit65227170d8f63f11080d72d8c792a6a7294e87e7 (patch)
tree29087428dcb0ec9e610b8a4b4022499da089f9ff /digital/io
parenta03daa5978dd302e8cb315ef0c15bfc0d405cc69 (diff)
* digital/io/src
- make the move FSM tell the top one it has finished.
Diffstat (limited to 'digital/io')
-rw-r--r--digital/io/src/move_cb.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/digital/io/src/move_cb.c b/digital/io/src/move_cb.c
index 2c17927f..dbbc637e 100644
--- a/digital/io/src/move_cb.c
+++ b/digital/io/src/move_cb.c
@@ -13,6 +13,8 @@
#include "playground.h"
#include "move.h"
+#include "main.h" /* main_post_event_for_top_fsm */
+
/*
* GO_AWAY =bot_move_succeed=>
* position_intermediary => GO_AWAY
@@ -153,6 +155,7 @@ move__DESIRED_POSITION__bot_move_failed (void)
fsm_branch_t
move__DESIRED_POSITION__bot_move_succeed (void)
{
+ main_post_event_for_top_fsm = TOP_EVENT_move_fsm_finished;
return move_next (DESIRED_POSITION, bot_move_succeed);
}