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 )

Warnung

Diese Funktion ist EXPERIMENTELL. Das Verhalten, der Funktionsname und alles Andere was hier dokumentiert ist, kann sich in zukünftigen PHP-Versionen ohne Ankündigung ändern. Seien Sie gewarnt und verwenden Sie diese Funktion auf eigenes Risiko.