Add interrupts_restore() to thread_join_timeout(). Note that this is not necessary...
commit7b3e7f45ee86c5a642f7e749920cf0171ab184a3
authorJakub Jermar <jakub@jermar.eu>
Fri, 9 Jun 2006 23:52:46 +0000 (9 23:52 +0000)
committerJakub Jermar <jakub@jermar.eu>
Fri, 9 Jun 2006 23:52:46 +0000 (9 23:52 +0000)
treef64a59af43074bb4ae71b850b89a70fcb87b766d
parentbebb6bcd2c427c7bf35ca9cb22e8a0111407e5cd
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().
generic/src/proc/thread.c