maxdb_server_end

(no version information, might be only in CVS)

maxdb_server_end -- Shut down the embedded server

Description

void maxdb_server_end ( void )

Внимание

Эта функция является ЭКСПЕРИМЕНТАЛЬНОЙ. Поведение этой функции, ее имя и относящаяся к ней документация могут измениться в последующих версиях PHP без уведомления. Используйте эту функцию на свой страх и риск.