Method getLocations

fdbserver/include/fdbserver/LogSystem.h:769–774

	void addWrittenTags(const std::set<Tag>& tags) { written_tags.insert(tags.begin(), tags.end()); }

	void getLocations(const std::set<Tag>& tags, std::set<uint16_t>& writtenTLogs) {
		std::vector<Tag> vtags(tags.begin(), tags.end());
		std::vector<int> msg_locations;
		logSystem->getPushLocations(vtags, msg_locations, false /*allLocations*/);
		writtenTLogs.insert(msg_locations.begin(), msg_locations.end());
	}

	void getLocations(const std::vector<Tag>& vtags, std::set<uint16_t>& writtenTLogs) {
		std::vector<int> msg_locations;