Rev 2504 | Rev 2712 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2504 | Rev 2632 | ||
|---|---|---|---|
| Line 129... | Line 129... | ||
| 129 | 129 | ||
| 130 | #ifdef CONFIG_DEBUG |
130 | #ifdef CONFIG_DEBUG |
| 131 | printf("Killing task %llu\n", id); |
131 | printf("Killing task %llu\n", id); |
| 132 | #endif |
132 | #endif |
| 133 | task_kill(id); |
133 | task_kill(id); |
| - | 134 | thread_usleep(10000); |
|
| 134 | } else { |
135 | } else { |
| 135 | spinlock_unlock(&tasks_lock); |
136 | spinlock_unlock(&tasks_lock); |
| 136 | interrupts_restore(ipl); |
137 | interrupts_restore(ipl); |
| 137 | } |
138 | } |
| 138 | 139 | ||