Rev 2131 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2131 | Rev 2206 | ||
|---|---|---|---|
| Line 177... | Line 177... | ||
| 177 | if (!ipc_phone_0) |
177 | if (!ipc_phone_0) |
| 178 | ipc_phone_0 = &utask->answerbox; |
178 | ipc_phone_0 = &utask->answerbox; |
| 179 | } else { |
179 | } else { |
| 180 | int rd = init_rd((rd_header *) init.tasks[i].addr, |
180 | int rd = init_rd((rd_header *) init.tasks[i].addr, |
| 181 | init.tasks[i].size); |
181 | init.tasks[i].size); |
| 182 | 182 | ||
| 183 | if (rd != RE_OK) |
183 | if (rd != RE_OK) |
| 184 | printf("Init binary %zd not used.\n", i); |
184 | printf("Init binary %zd not used, error code %d.\n", i, rd); |
| 185 | } |
185 | } |
| 186 | } |
186 | } |
| 187 | 187 | ||
| 188 | 188 | ||
| 189 | if (!stdin) { |
189 | if (!stdin) { |