private void stop_server() { if (null != server) { server.stop_listening(); server = null; } }
private void start_server() { server = new Server(this); server.start_listening(); }