2013-01-11 01:48:46 +08:00
|
|
|
#include "task_control.h"
|
|
|
|
|
2014-11-20 16:25:43 +08:00
|
|
|
#include <stddef.h>
|
2013-01-11 01:48:46 +08:00
|
|
|
|
2014-11-20 16:25:43 +08:00
|
|
|
gmio_bool_t gmio_task_control_is_stop_requested(const gmio_task_control_t* task_ctrl)
|
2013-01-11 01:48:46 +08:00
|
|
|
{
|
2014-11-20 16:25:43 +08:00
|
|
|
if (task_ctrl != NULL && task_ctrl->is_stop_requested_func != NULL)
|
|
|
|
return task_ctrl->is_stop_requested_func(task_ctrl->cookie);
|
|
|
|
return GMIO_FALSE;
|
2013-01-11 01:48:46 +08:00
|
|
|
}
|