202122232425262728
@Override public void actionPerformed(AnActionEvent e) { JstdServer server = JstdServerRegistry.getInstance().getServer(); if (server != null) { server.shutdownAsync(); } } }
6667686970717273747576
.build(); KarmaServerRegistry registry = KarmaServerRegistry.getInstance(myProject); KarmaServer server = registry.getServer(serverSettings); if (server != null && server.getRestarter().isRestartRequired()) { server.shutdownAsync(); server = null; } if (server == null) { registry.startServer( serverSettings,