Note: This manual is provided for your convenience only - this is not the official source and may not be 100% up to date.

mysqli_server_end

mysqli_server_end

(PHP 5 <= 5.0.4)

mysqli_server_end -- Shut down the embedded server

Description

void mysqli_server_end ( void )

Warning

This function is currently not documented; only the argument list is available.