Changeset 5cd2290 in mainline for uspace/srv/taskman/task.h

Timestamp:

2019-08-07T05:35:46Z (6 years ago)

Author:

Matthieu Riolo <matthieu.riolo@…>

Children:

b22b0a94

Parents:

1fb4a49

git-author:

Michal Koutný <xm.koutny+hos@…> (2015-10-18 10:53:14)

git-committer:

Matthieu Riolo <matthieu.riolo@…> (2019-08-07 05:35:46)

Message:

taskman: Make use of EVENT_EXIT exit_reason parameter

• Also improved handling of EVENT_FAULT — it only marks task as failed, waiters are notified after EVENT_EXIT happens.

File:

• uspace/srv/taskman/task.h (modified) (1 diff)

uspace/srv/taskman/task.h

@@ -45 +45 @@
 
 extern int task_intro(ipc_call_t *, bool);
-extern void task_terminated(task_id_t, task_exit_t);
+extern void task_terminated(task_id_t, exit_reason_t);
+extern void task_failed(task_id_t);
 
 #endif