Rev 3447 | Rev 3469 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3447 | Rev 3462 | ||
---|---|---|---|
Line 121... | Line 121... | ||
121 | * |
121 | * |
122 | * @param path pathname of the binary to execute |
122 | * @param path pathname of the binary to execute |
123 | * @param argv command-line arguments |
123 | * @param argv command-line arguments |
124 | * @return ID of the newly created task or zero on error. |
124 | * @return ID of the newly created task or zero on error. |
125 | */ |
125 | */ |
126 | task_id_t task_spawn(const char *path, const char *argv[]) |
126 | task_id_t task_spawn(const char *path, char *const argv[]) |
127 | { |
127 | { |
128 | int phone_id; |
128 | int phone_id; |
129 | ipc_call_t answer; |
129 | ipc_call_t answer; |
130 | aid_t req; |
130 | aid_t req; |
131 | int rc; |
131 | int rc; |