// Priority handling, otherwise GMS.down(DISCONNECT) would block !
// Similar to FLUSH protocol
public void receiveDownEvent(Event evt) {
if (evt.getType() == Event.BLOCK_OK) {
passDown(evt);
return;
}
super.receiveDownEvent(evt);
}
public void start() throws Exception {
super.start();
if (checkForViewEnforcer(up_prot) == false) {
Trace.warn(
"GMS.start()",
"I need protocol layer "
+ "VIEW_ENFORCER above me to discard messages sent to me while I'm "
+ "not yet a group member ! Otherwise, these messages will be delivered "
+ "to the application without checking...\n");
}
if (_corr != null) _corr.setDeadlockDetection(true);
else throw new Exception("GMS.start(): cannot set deadlock detection in corr, as it is null !");
}