mysqli_server_end
(PHP 5 <= 5.0.5)
mysqli_server_end — Shut down the embedded server
Description
void mysqli_server_end
( void
)
Warning
Deze functie is op het moment niet gedocumenteerd, alleen de lijst met argumenten is beschikbaar.