| /branches/dd/kernel/generic/src/main/kinit.c |
|---|
| 186,14 → 186,14 |
| char *name; |
| name = init.tasks[i].name; |
| if (name[0] == '\0') |
| if (name[0] == 0) |
| name = "<unknown>"; |
| ASSERT(TASK_NAME_BUFLEN >= INIT_PREFIX_LEN); |
| strncpy(namebuf, INIT_PREFIX, TASK_NAME_BUFLEN); |
| strncpy(namebuf + INIT_PREFIX_LEN, name, |
| TASK_NAME_BUFLEN - INIT_PREFIX_LEN); |
| str_cpy(namebuf, TASK_NAME_BUFLEN, INIT_PREFIX); |
| str_cpy(namebuf + INIT_PREFIX_LEN, |
| TASK_NAME_BUFLEN - INIT_PREFIX_LEN, name); |
| int rc = program_create_from_image((void *) init.tasks[i].addr, |
| namebuf, &programs[i]); |