@ -116,7 +116,7 @@ public:
*/
int start();
void set_replay_mode(bool replay) {_replay_mode = true;};
void set_replay_mode(bool replay) {_replay_mode = replay;};
static void task_main_trampoline(int argc, char *argv[]);