wddx_packet_end

(PHP 3 >= 3.0.7, PHP 4, PHP 5)

wddx_packet_end -- Clôt un paquet WDDX

Description

string wddx_packet_end ( resource packet_id )

wddx_packet_end() clôt un paquet WDDX repéré par son identifiant packet_id.

Hosting by: Hurra Communications GmbH
Generated: 2007-01-26 18:01:56