747576777879808182838485
// wait for the client-side failover to complete while(true) { FailoverEvent event = failoverListener.getEvent(30000); if (event != null && FailoverEvent.FAILOVER_COMPLETED == event.getType()) { break; } if (event == null) {
117118119120121122123124125126127128
172173174175176177178179180181182183
233234235236237238239240241242243244
296297298299300301302303304305306307
361362363364365366367368369370371372
421422423424425426427428429430431432
518519520521522523524525526527528529
592593594595596597598599600601602603
669670671672673674675676677678679680