Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'dsf-gdb/org.eclipse.cdt.dsf.gdb/src/org/eclipse/cdt/dsf/gdb/service/GDBBackend.java')
-rw-r--r--dsf-gdb/org.eclipse.cdt.dsf.gdb/src/org/eclipse/cdt/dsf/gdb/service/GDBBackend.java29
1 files changed, 13 insertions, 16 deletions
diff --git a/dsf-gdb/org.eclipse.cdt.dsf.gdb/src/org/eclipse/cdt/dsf/gdb/service/GDBBackend.java b/dsf-gdb/org.eclipse.cdt.dsf.gdb/src/org/eclipse/cdt/dsf/gdb/service/GDBBackend.java
index 9577e2ad277..ad8b76ce30a 100644
--- a/dsf-gdb/org.eclipse.cdt.dsf.gdb/src/org/eclipse/cdt/dsf/gdb/service/GDBBackend.java
+++ b/dsf-gdb/org.eclipse.cdt.dsf.gdb/src/org/eclipse/cdt/dsf/gdb/service/GDBBackend.java
@@ -613,24 +613,21 @@ public class GDBBackend extends AbstractDsfService implements IGDBBackend, IMIBa
};
startGdbJob.schedule();
- fGDBLaunchMonitor.fTimeoutFuture = getExecutor().schedule(new Runnable() {
- @Override
- public void run() {
- // Only process the event if we have not finished yet (hit
- // the breakpoint).
- if (!fGDBLaunchMonitor.fLaunched) {
- fGDBLaunchMonitor.fTimedOut = true;
- Thread jobThread = startGdbJob.getThread();
- if (jobThread != null) {
- jobThread.interrupt();
- }
+ fGDBLaunchMonitor.fTimeoutFuture = getExecutor().schedule(() -> {
+ // Only process the event if we have not finished yet (hit
+ // the breakpoint).
+ if (!fGDBLaunchMonitor.fLaunched) {
+ fGDBLaunchMonitor.fTimedOut = true;
+ Thread jobThread = startGdbJob.getThread();
+ if (jobThread != null) {
+ jobThread.interrupt();
+ }
- destroy();
+ destroy();
- requestMonitor.setStatus(new Status(IStatus.ERROR, GdbPlugin.PLUGIN_ID,
- DebugException.TARGET_REQUEST_FAILED, "Timed out trying to launch GDB.", null)); //$NON-NLS-1$
- requestMonitor.done();
- }
+ requestMonitor.setStatus(new Status(IStatus.ERROR, GdbPlugin.PLUGIN_ID,
+ DebugException.TARGET_REQUEST_FAILED, "Timed out trying to launch GDB.", null)); //$NON-NLS-1$
+ requestMonitor.done();
}
}, fGDBLaunchTimeout, TimeUnit.SECONDS);
}

Back to the top