/** Position of the task in the post_select list of the scheduler. */
struct list_head post_select_node;
/** Descriptive text and current status of the task. */
- char status[MAXLINE];
+ char status[255];
};
/**
char *get_task_list(void);
int kill_task(char *id);
void sched_shutdown(void);
+void sched_min_delay(struct sched *s);
+void sched_request_timeout(struct timeval *timeout, struct sched *s);
+void sched_request_timeout_ms(long unsigned ms, struct sched *s);