// Abort push
w.write("Push aborted for address: " + ipAddress
+ ". The ref was changed during push.");
w.flush();
} else {
PushManager pushManager = PushManager.get();
pushManager.connectionSucceeded(geogig, ipAddress, refspec, oid);
w.write("Push succeeded for address: " + ipAddress);
w.flush();
}
} catch (Exception e) {
Throwables.propagateIfInstanceOf(e, IOException.class);