Changeset 62273d1 in mainline for uspace/srv/taskman/task.h

Timestamp:

2019-08-07T04:27:24Z (6 years ago)

Author:

Matthieu Riolo <matthieu.riolo@…>

Children:

2f44fafd

Parents:

70d28e8

git-author:

Michal Koutný <xm.koutny+hos@…> (2015-10-08 21:46:22)

git-committer:

Matthieu Riolo <matthieu.riolo@…> (2019-08-07 04:27:24)

Message:

taskman: Implement simple task exit monitoring

File:

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

uspace/srv/taskman/task.h

@@ -44 +44 @@
 extern int task_set_retval(ipc_call_t *);
 
-extern int ns_task_id_intro(ipc_call_t *);
-extern int ns_task_disconnect(ipc_call_t *);
-
+extern int task_id_intro(ipc_call_t *);
+extern void task_terminated(task_id_t, task_exit_t);
 
 #endif