/** * In case of a restart, we must mark reverse debugging as disabled because GDB has turned it off. * We may have to turn it back on after. */ @Execute public void stepSetReverseOff(RequestMonitor rm) { if (fRestart) { GDBRunControl_7_0 reverseService = fTracker.getService(GDBRunControl_7_0.class); if (reverseService != null) { reverseService.setReverseModeEnabled(false); } } rm.done(); }
@Override public void shutdown(final RequestMonitor requestMonitor) { if (fCommandControl != null) { fCommandControl.removeEventListener(this); } unregister(); super.shutdown(requestMonitor); }
@Override public void initialize(final RequestMonitor requestMonitor) { super.initialize( new ImmediateRequestMonitor(requestMonitor) { @Override public void handleSuccess() { doInitialize(requestMonitor); } }); }