From f508c3cf0f940136f4e95135f8d89298dbd97d23 Mon Sep 17 00:00:00 2001
From: Pawel Piech <pawel.piech@windriver.com>
Date: Fri, 24 Oct 2008 21:33:14 +0000
Subject: [PATCH] [251486] - Added comment.

---
 .../gdb/internal/provisional/launching/GdbLaunchDelegate.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/org.eclipse.dd.gdb/src/org/eclipse/dd/gdb/internal/provisional/launching/GdbLaunchDelegate.java b/plugins/org.eclipse.dd.gdb/src/org/eclipse/dd/gdb/internal/provisional/launching/GdbLaunchDelegate.java
index 62eee01cd6a..8d8b149cacc 100644
--- a/plugins/org.eclipse.dd.gdb/src/org/eclipse/dd/gdb/internal/provisional/launching/GdbLaunchDelegate.java
+++ b/plugins/org.eclipse.dd.gdb/src/org/eclipse/dd/gdb/internal/provisional/launching/GdbLaunchDelegate.java
@@ -182,7 +182,7 @@ public class GdbLaunchDelegate extends LaunchConfigurationDelegate
         } finally {
             if (!succeed) {
                 // finalLaunchSequence failed. Shutdown the session so that all started
-                // services including any GDB process are shutdown.
+                // services including any GDB process are shutdown. (bug 251486)
                 //
                 final GdbLaunch gdbLaunch = launch;