mysqli_server_end

(PHP 5 <= 5.0.4)

mysqli_server_end -- Eteint le serveur embarqué

Description

void mysqli_server_end ( void )

Avertissement

Cette fonction n'est pas documentée et seule la liste des arguments est disponible.