Rev 1677 |
Compare with Previous |
Directory listing |
Details |
Blame |
View Log
| RSS feed
Last modification
- Rev 1680 – 6640 d 22 h
- Author: jermar
- Log message:
- Add interrupts_restore() to thread_join_timeout(). Note that this is not necessary, because
waitq_sleep_finish() does the job for thread_join_timeout(). However, the code looks more
correct in the form with interrupts_restore().