mysqli_server_end

(PHP 5)

mysqli_server_end -- Shut down the embedded server

Description

void mysqli_server_end ( void )

Varování

Tato funkce je EXPERIMENTÁLNÍ. Chování této funkce, její název a všechno ostatní, co je zde zdokumentováno, se v budoucích verzích PHP může BEZ OHLÁŠENÍ změnit. Berte to v úvahu a používejte tuto funkci na vlastní nebezpečí.