858687888990919293
if (c == null) { c = new SshConnector(server); } else { c.onDisconnect(); } c.start(); } } }