506507508509510511512513514515516
} catch (Throwable t) { log.error("Unexpected error: " + t, t); result = 1; // "catchall for general errors" } if (server != null) { server.stop(); } return result; } public int doPull(Client client, CommandLine commands,