Rev 2030 | Rev 2068 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2030 | Rev 2040 | ||
|---|---|---|---|
| Line 388... | Line 388... | ||
| 388 | thread_ready(THREAD); |
388 | thread_ready(THREAD); |
| 389 | break; |
389 | break; |
| 390 | 390 | ||
| 391 | case Exiting: |
391 | case Exiting: |
| 392 | repeat: |
392 | repeat: |
| 393 | if (THREAD->detached) { |
393 | if (THREAD->detached) { |
| 394 | thread_destroy(THREAD); |
394 | thread_destroy(THREAD); |
| 395 | } else { |
395 | } else { |
| 396 | /* |
396 | /* |
| 397 | * The thread structure is kept allocated until somebody |
397 | * The thread structure is kept allocated until somebody |
| 398 | * calls thread_detach() on it. |
398 | * calls thread_detach() on it. |