467468469470471472473474475476477
// otherwise make sure the console knows we // restarted (ensure prompt and set focus) else { eventBus_.fireEvent( new ConsoleRestartRCompletedEvent()); } } if (onCompleted != null) onCompleted.execute();