mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-23 14:42:11 +02:00
Code Issues Wiki Activity

Bug 404586 - Allow to customize the wait time for "gdb-exit"

Browse source 
Change-Id: I2bbc1b5c41df612962e963a3c2bea139cfe48fd2
Reviewed-on: https://git.eclipse.org/r/11555
Reviewed-by: Marc Khouzam <marc.khouzam@ericsson.com>
Reviewed-by: Mikhail Khodjaiants <mikhailkhod@googlemail.com>
IP-Clean: Mikhail Khodjaiants <mikhailkhod@googlemail.com>
Tested-by: Mikhail Khodjaiants <mikhailkhod@googlemail.com>
This commit is contained in:
Mikhail Khodjaiants 2013-03-28 15:01:51 -04:00
parent d4bb0bba4d
commit 378965a290
1 changed files with 10 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
dsf-gdb/org.eclipse.cdt.dsf.gdb/src/org/eclipse/cdt/dsf/gdb/service/command/GDBControl.java
View file

@ -263,7 +263,7 @@ public class GDBControl extends AbstractMIControl implements IGDBControl {
return false; return false;
} }
}, },
2, TimeUnit.SECONDS); getGDBExitWaitTime(), TimeUnit.SECONDS);
queueCommand( queueCommand(
getCommandFactory().createMIGDBExit(fControlDmc), getCommandFactory().createMIGDBExit(fControlDmc),
@ -660,4 +660,13 @@ public class GDBControl extends AbstractMIControl implements IGDBControl {
protected boolean isInitialized() { protected boolean isInitialized() {
return fInitialized; return fInitialized;
} }
/**
* Returns the time (in seconds) the debugger will wait for "gdb-exit" to complete.
*
* @since 4.2
*/
protected int getGDBExitWaitTime() {
return 2;
}
} }