Request request = new Request (hdr.getClientId(), hdr.getCxid(), hdr.getType(), hdr, txn, 0); ObserverZooKeeperServer obs = (ObserverZooKeeperServer)zk; obs.commitRequest(request); break; case Leader.INFORMANDACTIVATE: self.processReconfig(qv, suggestedLeaderId, qp.getZxid(), true); obs.commitRequest(request);
request.hdr = hdr; ObserverZooKeeperServer obs = (ObserverZooKeeperServer)zk; obs.commitRequest(request); break; default:
request.setTxn(p.rec); request.setHdr(p.hdr); ozk.commitRequest(request);
request.txn = p.rec; request.hdr = p.hdr; ozk.commitRequest(request);
request.hdr = hdr; ObserverZooKeeperServer obs = (ObserverZooKeeperServer)zk; obs.commitRequest(request); break;