robofsm: terminate correctly on SIGTERM.

diff --git a/src/robofsm/eb2008/robot_eb2008.c b/src/robofsm/eb2008/robot_eb2008.c
index fa048a95fcad002767628a2cd032dba45e9ddbb7..b76ecae86dd3a334f510a6fa62d2d3d854a6685d 100644 (file)
--- a/src/robofsm/eb2008/robot_eb2008.c
+++ b/src/robofsm/eb2008/robot_eb2008.c
@@ -53,7 +53,7 @@ static void block_signals()
 
 static void int_handler(int sig)
 {
-       robot_exit();
+       robot_destroy();
 }
 
 void robot_loc_init()