(PHP 5 <= 5.0.5)
mysqli_server_end — Shut down the embedded server
Diese Funktion ist bis jetzt nicht dokumentiert. Es steht nur die Liste der Argumente zur Verfügung.