195196197198199200201202203204
// clear state reloadState.reset(); Console.info(Console.MESSAGES.successful("Reload Server")); getView().setReloadRequired(reloadState.isStaleModel()); getEventBus().fireEvent(new ReloadEvent()); } } }); }
208209210211212213214215216217
207208209210211212213214215216
229230231232233234235236237238
if(!keepRunning) { Console.info("Success: Reload server"); getView().setReloadRequired(reloadState.isReloadRequired()); getEventBus().fireEvent(new ReloadEvent()); } } }); }
272273274275276277278279280281
244245246247248249250251252253