	Manuel PHP
	Précédent		Suivant

wddx_packet_end

wddx_packet_end -- Terminer un paquet WDDX

Description

int wddx_packet_end(int packet_id);

wddx_packet_end() terminee un paquet WDDX repéré par sont identifiant packet_id.