* src/threads/thread.c (thread_set_state_runnable): Moved DEBUGTHREADS

into if, so the output is correct.
(thread_set_state_waiting): Likewise.
(thread_set_state_timed_waiting): Likewise.

diff --git a/src/threads/thread.c b/src/threads/thread.c
index 8c36cf161548e9d243ee682ada03c7c5761f90dd..931d949200a4b52e6c7ab2fc6620a430b0b73801 100644 (file)
--- a/src/threads/thread.c
+++ b/src/threads/thread.c
@@ -972,10 +972,11 @@ void thread_set_state_runnable(threadobject *t)
 
        threadlist_lock();
 
-       if (t->state != THREAD_STATE_TERMINATED)
+       if (t->state != THREAD_STATE_TERMINATED) {
                t->state = THREAD_STATE_RUNNABLE;
 
-       DEBUGTHREADS("is RUNNABLE", t);
+               DEBUGTHREADS("is RUNNABLE", t);
+       }
 
        threadlist_unlock();
 }
@@ -996,10 +997,11 @@ void thread_set_state_waiting(threadobject *t)
 
        threadlist_lock();
 
-       if (t->state != THREAD_STATE_TERMINATED)
+       if (t->state != THREAD_STATE_TERMINATED) {
                t->state = THREAD_STATE_WAITING;
 
-       DEBUGTHREADS("is WAITING", t);
+               DEBUGTHREADS("is WAITING", t);
+       }
 
        threadlist_unlock();
 }
@@ -1021,10 +1023,11 @@ void thread_set_state_timed_waiting(threadobject *t)
 
        threadlist_lock();
 
-       if (t->state != THREAD_STATE_TERMINATED)
+       if (t->state != THREAD_STATE_TERMINATED) {
                t->state = THREAD_STATE_TIMED_WAITING;
 
-       DEBUGTHREADS("is TIMED_WAITING", t);
+               DEBUGTHREADS("is TIMED_WAITING", t);
+       }
 
        threadlist_unlock();
 }