indexing

	description: "[

		Event that notifies the server if a clients leaves the server.
		
		This is used in the Client/Server implementation of the multiplayer framework.
		
		This is a secured two phase commit event.

	]"
	date: "$Date$"
	revision: "$Revision$"

class EM_NET_LEAVE_EVENT

inherit

	EM_NET_2PC_EVENT_OBJECT

create {EM_NET_OBJECT_TYPES}

	make_set_type

feature -- Serialization

	serialize (a_serializer: EM_NET_SERIALIZER) is
			-- Serialize to the given stream using `a_serializer'.
		do
			a_serializer.put_integer (id)
		end

	serialization_byte_count: INTEGER is
			-- Count of bytes needed for a successful serialization
		do
			Result := 4
		end

	unserialize (an_unserializer: EM_NET_UNSERIALIZER) is
			-- Unserialize from a given stream using `an_unserializer'.
		do
			an_unserializer.read_integer
			id := an_unserializer.last_integer
		end

end