mysqli_server_end

(PHP 5 <= 5.0.4)

mysqli_server_end -- Shut down the embedded server

Description

void mysqli_server_end ( void )

Waarschuwing

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