From e4e0cadb97424019ad7e2b660fe315b60283ad78 Mon Sep 17 00:00:00 2001
From: Oswald Buddenhagen <oswald.buddenhagen@nokia.com>
Date: Thu, 5 Nov 2009 16:19:59 +0100
Subject: [PATCH] a process scheduled for kill can exit by itself as well ...

---
 src/plugins/debugger/gdb/gdbengine.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/plugins/debugger/gdb/gdbengine.cpp b/src/plugins/debugger/gdb/gdbengine.cpp
index d548e5b7309..20ce97c9477 100644
--- a/src/plugins/debugger/gdb/gdbengine.cpp
+++ b/src/plugins/debugger/gdb/gdbengine.cpp
@@ -1105,7 +1105,8 @@ void GdbEngine::handleStopResponse(const GdbMi &data)
             setState(InferiorStopping);
         } else {
             // The user triggered a stop, but meanwhile the app simply exited ...
-            QTC_ASSERT(state() == InferiorStopping, qDebug() << state());
+            QTC_ASSERT(state() == InferiorStopping || state() == InferiorStopping_Kill,
+                       qDebug() << state());
         }
         setState(InferiorStopped);
         QString msg;