Changes in kernel/generic/src/udebug/udebug.c [5667dca:fafb8e5] in mainline

File:

• kernel/generic/src/udebug/udebug.c (modified) (1 diff)

kernel/generic/src/udebug/udebug.c

@@ -479 +479 @@
         mutex_unlock(&THREAD->udebug.lock);
 
-        /*
-         * This is where we will typically block until a post-mortem debugger
-         * terminates the debugging session.
-         */
+        /* Make sure the debugging session is over before proceeding. */
+        mutex_lock(&THREAD->udebug.lock);
+        while (THREAD->udebug.active)
+                condvar_wait(&THREAD->udebug.active_cv, &THREAD->udebug.lock);
+        mutex_unlock(&THREAD->udebug.lock);
+
         udebug_stoppable_end();
 }