141142143144145146147148149150151
DocOp op = randomOp(client); q.clientOp(op); break; case CLIENT_SEND: if (!q.hasUnacknowledgedClientOps() && q.hasQueuedClientOps()) { server.sendToServer(q.revision(), q.pushQueuedOpsToUnacked()); } break; case SERVER_OP: server.randomServerOp(); break;