mysqli_embedded_server_end

(PHP 5 >= 5.1.0RC1)

mysqli_embedded_server_end -- 

Description

void mysqli_embedded_server_end ( void )

Waarschuwing

Deze functie is op het moment niet gedocumenteerd, alleen de lijst met argumenten is beschikbaar.