Manuel
PHP
Précédent
Suivant
wddx_packet_end
wddx_packet_end -- Clos un paquet WDDX.
Description
string
wddx_packet_end
( resource packet_id)
wddx_packet_end(
)
clos
un
paquet
WDDX
repéré
par
son
identifiant
packet_id
.
Précédent
Sommaire
Suivant
Niveau
supérieur