out = new PrintWriter(socket.getOutputStream(),
true);
MasterQueryResponse responseMessage =
protocol.new MasterQueryResponse
(currentProposal, currentValue);
out.println(responseMessage.wireFormat());
}
}
} else if (requestMessage.getOp() == protocol.SHUTDOWN) {
LoggerUtils.logMsg
(logger, envImpl, formatter, Level.FINE,