Changes in kernel/generic/src/udebug/udebug.c [fafb8e5:5667dca] 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);
 
-        /* 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);
-
+        /*
+         * This is where we will typically block until a post-mortem debugger
+         * terminates the debugging session.
+         */
         udebug_stoppable_end();
 }