8586878889909192939495
public void stopHttpMirror() { if (server != null) { server.stopServer(); GuiPackage instance = GuiPackage.getInstance(); if (instance != null) { instance.unregister(server); } try { server.join(1000); // wait for server to stop } catch (InterruptedException e) { }
67686970717273747576
@Override public void doAction(ActionEvent e) { GuiPackage instance = GuiPackage.getInstance(); List<Stoppable> stopables = instance.getStoppables(); for (Stoppable element : stopables) { instance.unregister(element); element.stopServer(); } } }
137138139140141142143144145146147
66676869707172737475
114115116117118119120121122123124
public void stopHttpSimpleTable() { if (server != null) { server.stopServer(); GuiPackage instance = GuiPackage.getInstance(); if (instance != null) { instance.unregister(server); } server = null; } }