} finally { if (!connected) { this.rescheduleConnectRequest(request); } else { continue; this.rescheduleConnectRequest(request);
} finally { if (!connected) { this.rescheduleConnectRequest(request); } else { continue; this.rescheduleConnectRequest(request);
public SessionMonitor() { this.setName("Heal-Session-Thread"); }
public SessionMonitor() { this.setName("Heal-Session-Thread"); }