Method updateMaxReceivedRequestID

src/ExtStructs.h:141–149

* Update the max RequestID we have seen received on this connection. */

	 * Update the max RequestID we have seen received on this connection.
	 */
	void updateMaxReceivedRequestID(int32_t id) {
		if (id > maxReceivedRequestID)
			maxReceivedRequestID = id;

		// Now make sure the RequestIDs the server will generate are very far ahead of the ones seen from the client.
		int32_t minGeneratedID = maxReceivedRequestID + 1000000;
		if (minGeneratedID > nextServerGeneratedRequestID)
			nextServerGeneratedRequestID = minGeneratedID;
	}

private:
	Future<Void> currentWriteLocked;